Fix typo in phpconfig.ini