[crux-commits] ports/opt (2.8): php-fcgi: update to 5.4.12