fixes minor problems in PHP declarations