php: Add a local configuration override file.

diff --git a/etc/php5/cgi/php.ini.local b/etc/php5/cgi/php.ini.local
new file mode 100644 (file)
index 0000000..5157119
--- /dev/null
+++ b/etc/php5/cgi/php.ini.local
@@ -0,0 +1,3 @@
+# This file contains local changes, so we can leave php5.ini to the Debian
+# default. It is not directly used by PHP, but the update-php.ini script
+# ensures it is put into the php.ini for each different domain.