Add missing line to php.ini