Tweak some PHP settings for better mediawiki compatibility.

Author: cscott

deps/libphp5.gyp

@@ -84,6 +84,8 @@
                 '--enable-maintainer-zts', '--enable-embed=static',
                 '--prefix', '<(SHARED_INTERMEDIATE_DIR)/build',
                 '--enable-opcache=static',
+                # mediawiki says this is necessary
+                '--with-zlib', '--enable-mbstring',
                 # turn off some unnecessary bits
                 '--disable-cli', '--disable-cgi',
                 '<@(configure_options)'

lib/php.ini

@@ -2,4 +2,13 @@ html_errors=1
 register_argc_argv=1
 implicit_flush=0
 max_execution_time=0
-max_input_time=0
+max_input_time=-1
+output_buffering=4096
+
+; The following are useful for debugging:
+;
+; display_startup_errors=1
+; display_errors=1
+; log_errors=1
+; error_reporting=-1
+; track_errors=1