Fix typo in 5.5.x php.ini