Add missing comment in php.ini