when modifying php.ini, use ; as the comment char not # because php emits horrid deprecation warnings otherwise