Deprecated '#' in php.ini example replaced