]> scripts.mit.edu Git - autoinstallsdev/mediawiki.git/commitdiff
MediaWiki 1.17.4-scripts mediawiki-1.17.4-scripts
authorEdward Z. Yang <ezyang@mit.edu>
Wed, 15 Aug 2012 11:34:18 +0000 (19:34 +0800)
committerEdward Z. Yang <ezyang@mit.edu>
Wed, 15 Aug 2012 11:34:18 +0000 (19:34 +0800)
Signed-off-by: Edward Z. Yang <ezyang@mit.edu>
67 files changed:
.scripts/.htaccess [new file with mode: 0644]
AdminSettings.php [new file with mode: 0644]
LocalSettings.php [new file with mode: 0644]
bin/php.ini [new symlink]
config/php.ini [new symlink]
docs/html/php.ini [new symlink]
docs/php-memcached/php.ini [new symlink]
docs/php.ini [new symlink]
extensions/php.ini [new symlink]
images/deleted/php.ini [new symlink]
images/php.ini [new symlink]
includes/api/php.ini [new symlink]
includes/cbt/php.ini [new symlink]
includes/db/php.ini [new symlink]
includes/diff/php.ini [new symlink]
includes/filerepo/php.ini [new symlink]
includes/installer/Installer.php
includes/installer/WebInstaller.php
includes/media/php.ini [new symlink]
includes/normal/php.ini [new symlink]
includes/parser/php.ini [new symlink]
includes/php.ini [new symlink]
includes/specials/php.ini [new symlink]
includes/templates/php.ini [new symlink]
includes/zhtable/php.ini [new symlink]
languages/classes/php.ini [new symlink]
languages/messages/php.ini [new symlink]
languages/php.ini [new symlink]
locale/php.ini [new symlink]
maintenance/archives/php.ini [new symlink]
maintenance/dtrace/php.ini [new symlink]
maintenance/gearman/php.ini [new symlink]
maintenance/ibm_db2/php.ini [new symlink]
maintenance/language/php.ini [new symlink]
maintenance/mssql/php.ini [new symlink]
maintenance/mysql5/php.ini [new symlink]
maintenance/ora/php.ini [new symlink]
maintenance/php.ini [new symlink]
maintenance/postgres/archives/php.ini [new symlink]
maintenance/postgres/php.ini [new symlink]
maintenance/sqlite/archives/php.ini [new symlink]
maintenance/sqlite/php.ini [new symlink]
maintenance/storage/php.ini [new symlink]
math/php.ini [new symlink]
php.ini [new file with mode: 0644]
serialized/php.ini [new symlink]
skins/chick/php.ini [new symlink]
skins/common/images/ar/php.ini [new symlink]
skins/common/images/be-tarask/php.ini [new symlink]
skins/common/images/cyrl/php.ini [new symlink]
skins/common/images/de/php.ini [new symlink]
skins/common/images/fa/php.ini [new symlink]
skins/common/images/icons/php.ini [new symlink]
skins/common/images/ksh/php.ini [new symlink]
skins/common/images/php.ini [new symlink]
skins/common/php.ini [new symlink]
skins/disabled/php.ini [new symlink]
skins/htmldump/php.ini [new symlink]
skins/modern/php.ini [new symlink]
skins/monobook/php.ini [new symlink]
skins/myskin/php.ini [new symlink]
skins/php.ini [new symlink]
skins/simple/php.ini [new symlink]
t/inc/php.ini [new symlink]
t/maint/php.ini [new symlink]
t/php.ini [new symlink]
tests/php.ini [new symlink]

diff --git a/.scripts/.htaccess b/.scripts/.htaccess
new file mode 100644 (file)
index 0000000..3a42882
--- /dev/null
@@ -0,0 +1 @@
+Deny from all
diff --git a/AdminSettings.php b/AdminSettings.php
new file mode 100644 (file)
index 0000000..b0b3939
--- /dev/null
@@ -0,0 +1,20 @@
+<?php
+/**
+ * On scripts.mit.edu, the user's sole account can be used
+ * both for regular operation of the wiki and for any
+ * maintenance.  Therefore, we just use the username and
+ * password already set in LocalSettings.php.
+ *
+ * @package MediaWiki
+ */
+          
+$wgDBadminuser      = $wgDBuser;
+$wgDBadminpassword  = $wgDBpassword;
+          
+/*
+ * Whether to enable the profileinfo.php script.
+ * (False is the default.)
+ */
+$wgEnableProfileInfo = false;
+          
+?>
diff --git a/LocalSettings.php b/LocalSettings.php
new file mode 100644 (file)
index 0000000..f15e7b6
--- /dev/null
@@ -0,0 +1,133 @@
+<?php
+
+# This file was automatically generated by the MediaWiki installer.
+# If you make manual changes, please keep track in case you need to
+# recreate them later.
+#
+# See includes/DefaultSettings.php for all configurable settings
+# and their default values, but don't forget to make changes in _this_
+# file, not there.
+#
+# Further documentation for configuration settings may be found at:
+# http://www.mediawiki.org/wiki/Manual:Configuration_settings
+
+# If you customize your file layout, set $IP to the directory that contains
+# the other MediaWiki files. It will be used as a base to locate files.
+if( defined( 'MW_INSTALL_PATH' ) ) {
+       $IP = MW_INSTALL_PATH;
+} else {
+       $IP = dirname( __FILE__ );
+}
+
+$path = array( $IP, "$IP/includes", "$IP/languages" );
+set_include_path( implode( PATH_SEPARATOR, $path ) . PATH_SEPARATOR . get_include_path() );
+
+require_once( "$IP/includes/DefaultSettings.php" );
+
+if ( $wgCommandLineMode ) {
+       if ( isset( $_SERVER ) && array_key_exists( 'REQUEST_METHOD', $_SERVER ) ) {
+               die( "This script must be run from the command line\n" );
+       }
+}
+## Uncomment this to disable output compression
+# $wgDisableOutputCompression = true;
+
+$wgSitename         = WIZARD_SITENAME;
+
+## The URL base path to the directory containing the wiki;
+## defaults for all runtime URL paths are based off of this.
+## For more information on customizing the URLs please see:
+## http://www.mediawiki.org/wiki/Manual:Short_URL
+$wgScriptPath       = WIZARD_SCRIPTPATH;
+$wgScriptExtension  = ".php";
+
+## The relative URL path to the skins directory
+$wgStylePath        = "$wgScriptPath/skins";
+
+## The relative URL path to the logo.  Make sure you change this from the default,
+## or else you'll overwrite your logo when you upgrade!
+$wgLogo             = "$wgStylePath/common/images/wiki.png";
+
+## UPO means: this is also a user preference option
+
+$wgEnableEmail      = true;
+$wgEnableUserEmail  = true; # UPO
+
+$wgEmergencyContact = WIZARD_EMERGENCYCONTACT;
+$wgPasswordSender = WIZARD_EMERGENCYCONTACT;
+
+$wgEnotifUserTalk = true; # UPO
+$wgEnotifWatchlist = true; # UPO
+$wgEmailAuthentication = true;
+
+## Database settings
+$wgDBtype           = "mysql";
+$wgDBserver         = WIZARD_DBSERVER;
+$wgDBname           = WIZARD_DBNAME;
+$wgDBuser           = WIZARD_DBUSER;
+$wgDBpassword       = WIZARD_DBPASSWORD;
+
+# MySQL specific settings
+$wgDBprefix         = "";
+
+# MySQL table options to use during installation or update
+$wgDBTableOptions   = "ENGINE=InnoDB, DEFAULT CHARSET=binary";
+
+# Experimental charset support for MySQL 4.1/5.0.
+$wgDBmysql5 = true;
+
+## Shared memory settings
+$wgMainCacheType = CACHE_NONE;
+$wgMemCachedServers = array();
+
+## To enable image uploads, make sure the 'images' directory
+## is writable, then set this to true:
+$wgEnableUploads       = false;
+$wgUseImageMagick = true;
+$wgImageMagickConvertCommand = "/usr/bin/convert";
+
+## If you use ImageMagick (or any other shell command) on a
+## Linux server, this will need to be set to the name of an
+## available UTF-8 locale
+$wgShellLocale = "en_US.utf8";
+
+## If you want to use image uploads under safe mode,
+## create the directories images/archive, images/thumb and
+## images/temp, and make them all writable. Then uncomment
+## this, if it's not already uncommented:
+# $wgHashedUploadDirectory = false;
+
+## If you have the appropriate support software installed
+## you can enable inline LaTeX equations:
+$wgUseTeX           = false;
+
+## Set $wgCacheDirectory to a writable directory on the web server
+## to make your wiki go slightly faster. The directory should not
+## be publically accessible from the web.
+#$wgCacheDirectory = "$IP/cache";
+
+$wgLocalInterwiki   = strtolower( $wgSitename );
+
+$wgLanguageCode = "en";
+
+$wgSecretKey = WIZARD_SECRETKEY;
+
+## Default skin: you can change the default skin. Use the internal symbolic
+## names, ie 'vector', 'monobook':
+$wgDefaultSkin = 'monobook';
+
+## For attaching licensing metadata to pages, and displaying an
+## appropriate copyright notice / icon. GNU Free Documentation
+## License and Creative Commons licenses are supported so far.
+# $wgEnableCreativeCommonsRdf = true;
+$wgRightsPage = ""; # Set to the title of a wiki page that describes your license/copyright
+$wgRightsUrl = "";
+$wgRightsText = "";
+$wgRightsIcon = "";
+# $wgRightsCode = ""; # Not yet used
+
+$wgDiff3 = "/usr/bin/diff3";
+
+# When you make changes to this configuration file, this will make
+# sure that cached pages are cleared.
+$wgCacheEpoch = max( $wgCacheEpoch, gmdate( 'YmdHis', @filemtime( __FILE__ ) ) );
diff --git a/bin/php.ini b/bin/php.ini
new file mode 120000 (symlink)
index 0000000..9fc31db
--- /dev/null
@@ -0,0 +1 @@
+../php.ini
\ No newline at end of file
diff --git a/config/php.ini b/config/php.ini
new file mode 120000 (symlink)
index 0000000..9fc31db
--- /dev/null
@@ -0,0 +1 @@
+../php.ini
\ No newline at end of file
diff --git a/docs/html/php.ini b/docs/html/php.ini
new file mode 120000 (symlink)
index 0000000..35b5cdd
--- /dev/null
@@ -0,0 +1 @@
+../../php.ini
\ No newline at end of file
diff --git a/docs/php-memcached/php.ini b/docs/php-memcached/php.ini
new file mode 120000 (symlink)
index 0000000..35b5cdd
--- /dev/null
@@ -0,0 +1 @@
+../../php.ini
\ No newline at end of file
diff --git a/docs/php.ini b/docs/php.ini
new file mode 120000 (symlink)
index 0000000..9fc31db
--- /dev/null
@@ -0,0 +1 @@
+../php.ini
\ No newline at end of file
diff --git a/extensions/php.ini b/extensions/php.ini
new file mode 120000 (symlink)
index 0000000..9fc31db
--- /dev/null
@@ -0,0 +1 @@
+../php.ini
\ No newline at end of file
diff --git a/images/deleted/php.ini b/images/deleted/php.ini
new file mode 120000 (symlink)
index 0000000..35b5cdd
--- /dev/null
@@ -0,0 +1 @@
+../../php.ini
\ No newline at end of file
diff --git a/images/php.ini b/images/php.ini
new file mode 120000 (symlink)
index 0000000..9fc31db
--- /dev/null
@@ -0,0 +1 @@
+../php.ini
\ No newline at end of file
diff --git a/includes/api/php.ini b/includes/api/php.ini
new file mode 120000 (symlink)
index 0000000..35b5cdd
--- /dev/null
@@ -0,0 +1 @@
+../../php.ini
\ No newline at end of file
diff --git a/includes/cbt/php.ini b/includes/cbt/php.ini
new file mode 120000 (symlink)
index 0000000..35b5cdd
--- /dev/null
@@ -0,0 +1 @@
+../../php.ini
\ No newline at end of file
diff --git a/includes/db/php.ini b/includes/db/php.ini
new file mode 120000 (symlink)
index 0000000..35b5cdd
--- /dev/null
@@ -0,0 +1 @@
+../../php.ini
\ No newline at end of file
diff --git a/includes/diff/php.ini b/includes/diff/php.ini
new file mode 120000 (symlink)
index 0000000..35b5cdd
--- /dev/null
@@ -0,0 +1 @@
+../../php.ini
\ No newline at end of file
diff --git a/includes/filerepo/php.ini b/includes/filerepo/php.ini
new file mode 120000 (symlink)
index 0000000..35b5cdd
--- /dev/null
@@ -0,0 +1 @@
+../../php.ini
\ No newline at end of file
index deb949f33a1ec9eb52b966b9c6dbc93dc05dec78..f4c51926cf0173d2763aeb9549ed4d064a2aa683 100644 (file)
@@ -839,26 +839,7 @@ abstract class Installer {
        protected function envCheckPath() {
                global $IP;
                $IP = dirname( dirname( dirname( __FILE__ ) ) );
-
                $this->setVar( 'IP', $IP );
-
-               // PHP_SELF isn't available sometimes, such as when PHP is CGI but
-               // cgi.fix_pathinfo is disabled. In that case, fall back to SCRIPT_NAME
-               // to get the path to the current script... hopefully it's reliable. SIGH
-               if ( !empty( $_SERVER['PHP_SELF'] ) ) {
-                       $path = $_SERVER['PHP_SELF'];
-               } elseif ( !empty( $_SERVER['SCRIPT_NAME'] ) ) {
-                       $path = $_SERVER['SCRIPT_NAME'];
-               } elseif ( $this->getVar( 'wgScriptPath' ) ) {
-                       // Some kind soul has set it for us already (e.g. debconf)
-                       return true;
-               } else {
-                       $this->showError( 'config-no-uri' );
-                       return false;
-               }
-
-               $uri = preg_replace( '{^(.*)/(mw-)?config.*$}', '$1', $path );
-               $this->setVar( 'wgScriptPath', $uri );
        }
 
        /**
index b75db74e18ae05c336ec3e4a7e387a226b0da136..7d3001327895b7f0ae434085012eedddb8f3f701 100644 (file)
@@ -990,6 +990,20 @@ class WebInstaller extends Installer {
                        }
                }
 
+               // PHP_SELF isn't available sometimes, such as when PHP is CGI but
+               // cgi.fix_pathinfo is disabled. In that case, fall back to SCRIPT_NAME
+               // to get the path to the current script... hopefully it's reliable. SIGH
+               $path = false;
+               if ( !empty( $_SERVER['PHP_SELF'] ) ) {
+                       $path = $_SERVER['PHP_SELF'];
+               } elseif ( !empty( $_SERVER['SCRIPT_NAME'] ) ) {
+                       $path = $_SERVER['SCRIPT_NAME'];
+               }
+               if ($path !== false) {
+                       $uri = preg_replace( '{^(.*)/(mw-)?config.*$}', '$1', $path );
+                       $this->setVar( 'wgScriptPath', $uri );
+               }
+
                return $newValues;
        }
 
diff --git a/includes/media/php.ini b/includes/media/php.ini
new file mode 120000 (symlink)
index 0000000..35b5cdd
--- /dev/null
@@ -0,0 +1 @@
+../../php.ini
\ No newline at end of file
diff --git a/includes/normal/php.ini b/includes/normal/php.ini
new file mode 120000 (symlink)
index 0000000..35b5cdd
--- /dev/null
@@ -0,0 +1 @@
+../../php.ini
\ No newline at end of file
diff --git a/includes/parser/php.ini b/includes/parser/php.ini
new file mode 120000 (symlink)
index 0000000..35b5cdd
--- /dev/null
@@ -0,0 +1 @@
+../../php.ini
\ No newline at end of file
diff --git a/includes/php.ini b/includes/php.ini
new file mode 120000 (symlink)
index 0000000..9fc31db
--- /dev/null
@@ -0,0 +1 @@
+../php.ini
\ No newline at end of file
diff --git a/includes/specials/php.ini b/includes/specials/php.ini
new file mode 120000 (symlink)
index 0000000..35b5cdd
--- /dev/null
@@ -0,0 +1 @@
+../../php.ini
\ No newline at end of file
diff --git a/includes/templates/php.ini b/includes/templates/php.ini
new file mode 120000 (symlink)
index 0000000..35b5cdd
--- /dev/null
@@ -0,0 +1 @@
+../../php.ini
\ No newline at end of file
diff --git a/includes/zhtable/php.ini b/includes/zhtable/php.ini
new file mode 120000 (symlink)
index 0000000..35b5cdd
--- /dev/null
@@ -0,0 +1 @@
+../../php.ini
\ No newline at end of file
diff --git a/languages/classes/php.ini b/languages/classes/php.ini
new file mode 120000 (symlink)
index 0000000..35b5cdd
--- /dev/null
@@ -0,0 +1 @@
+../../php.ini
\ No newline at end of file
diff --git a/languages/messages/php.ini b/languages/messages/php.ini
new file mode 120000 (symlink)
index 0000000..35b5cdd
--- /dev/null
@@ -0,0 +1 @@
+../../php.ini
\ No newline at end of file
diff --git a/languages/php.ini b/languages/php.ini
new file mode 120000 (symlink)
index 0000000..9fc31db
--- /dev/null
@@ -0,0 +1 @@
+../php.ini
\ No newline at end of file
diff --git a/locale/php.ini b/locale/php.ini
new file mode 120000 (symlink)
index 0000000..9fc31db
--- /dev/null
@@ -0,0 +1 @@
+../php.ini
\ No newline at end of file
diff --git a/maintenance/archives/php.ini b/maintenance/archives/php.ini
new file mode 120000 (symlink)
index 0000000..35b5cdd
--- /dev/null
@@ -0,0 +1 @@
+../../php.ini
\ No newline at end of file
diff --git a/maintenance/dtrace/php.ini b/maintenance/dtrace/php.ini
new file mode 120000 (symlink)
index 0000000..35b5cdd
--- /dev/null
@@ -0,0 +1 @@
+../../php.ini
\ No newline at end of file
diff --git a/maintenance/gearman/php.ini b/maintenance/gearman/php.ini
new file mode 120000 (symlink)
index 0000000..35b5cdd
--- /dev/null
@@ -0,0 +1 @@
+../../php.ini
\ No newline at end of file
diff --git a/maintenance/ibm_db2/php.ini b/maintenance/ibm_db2/php.ini
new file mode 120000 (symlink)
index 0000000..35b5cdd
--- /dev/null
@@ -0,0 +1 @@
+../../php.ini
\ No newline at end of file
diff --git a/maintenance/language/php.ini b/maintenance/language/php.ini
new file mode 120000 (symlink)
index 0000000..35b5cdd
--- /dev/null
@@ -0,0 +1 @@
+../../php.ini
\ No newline at end of file
diff --git a/maintenance/mssql/php.ini b/maintenance/mssql/php.ini
new file mode 120000 (symlink)
index 0000000..35b5cdd
--- /dev/null
@@ -0,0 +1 @@
+../../php.ini
\ No newline at end of file
diff --git a/maintenance/mysql5/php.ini b/maintenance/mysql5/php.ini
new file mode 120000 (symlink)
index 0000000..35b5cdd
--- /dev/null
@@ -0,0 +1 @@
+../../php.ini
\ No newline at end of file
diff --git a/maintenance/ora/php.ini b/maintenance/ora/php.ini
new file mode 120000 (symlink)
index 0000000..35b5cdd
--- /dev/null
@@ -0,0 +1 @@
+../../php.ini
\ No newline at end of file
diff --git a/maintenance/php.ini b/maintenance/php.ini
new file mode 120000 (symlink)
index 0000000..9fc31db
--- /dev/null
@@ -0,0 +1 @@
+../php.ini
\ No newline at end of file
diff --git a/maintenance/postgres/archives/php.ini b/maintenance/postgres/archives/php.ini
new file mode 120000 (symlink)
index 0000000..33fe98f
--- /dev/null
@@ -0,0 +1 @@
+../../../php.ini
\ No newline at end of file
diff --git a/maintenance/postgres/php.ini b/maintenance/postgres/php.ini
new file mode 120000 (symlink)
index 0000000..35b5cdd
--- /dev/null
@@ -0,0 +1 @@
+../../php.ini
\ No newline at end of file
diff --git a/maintenance/sqlite/archives/php.ini b/maintenance/sqlite/archives/php.ini
new file mode 120000 (symlink)
index 0000000..33fe98f
--- /dev/null
@@ -0,0 +1 @@
+../../../php.ini
\ No newline at end of file
diff --git a/maintenance/sqlite/php.ini b/maintenance/sqlite/php.ini
new file mode 120000 (symlink)
index 0000000..35b5cdd
--- /dev/null
@@ -0,0 +1 @@
+../../php.ini
\ No newline at end of file
diff --git a/maintenance/storage/php.ini b/maintenance/storage/php.ini
new file mode 120000 (symlink)
index 0000000..35b5cdd
--- /dev/null
@@ -0,0 +1 @@
+../../php.ini
\ No newline at end of file
diff --git a/math/php.ini b/math/php.ini
new file mode 120000 (symlink)
index 0000000..9fc31db
--- /dev/null
@@ -0,0 +1 @@
+../php.ini
\ No newline at end of file
diff --git a/php.ini b/php.ini
new file mode 100644 (file)
index 0000000..14a0f57
--- /dev/null
+++ b/php.ini
@@ -0,0 +1,26 @@
+extension = gd.so
+extension = mysql.so
+session.name = WIZARD_SESSIONNAME
+session.save_path = WIZARD_TMPDIR
+upload_tmp_dir = WIZARD_TMPDIR
+register_long_arrays = on
+cgi.fix_pathinfo = 1
+memory_limit = 1024M
+max_execution_time = 60
+expose_php = off
+output_buffering = 4096
+zlib.output_compression = On
+zlib.output_compression_level = 6
+implicit_flush = Off
+error_reporting  =  E_ALL & ~E_NOTICE & ~E_WARNING
+display_errors = On
+display_startup_errors = Off
+register_globals = Off
+register_long_arrays = Off
+register_argc_argv = On
+post_max_size = 1024M
+magic_quotes_gpc = Off
+upload_max_filesize = 1024M
+log_errors = Off
+[MySQL]
+mysql.default_host = sql.mit.edu
diff --git a/serialized/php.ini b/serialized/php.ini
new file mode 120000 (symlink)
index 0000000..9fc31db
--- /dev/null
@@ -0,0 +1 @@
+../php.ini
\ No newline at end of file
diff --git a/skins/chick/php.ini b/skins/chick/php.ini
new file mode 120000 (symlink)
index 0000000..35b5cdd
--- /dev/null
@@ -0,0 +1 @@
+../../php.ini
\ No newline at end of file
diff --git a/skins/common/images/ar/php.ini b/skins/common/images/ar/php.ini
new file mode 120000 (symlink)
index 0000000..3ba6e78
--- /dev/null
@@ -0,0 +1 @@
+../../../../php.ini
\ No newline at end of file
diff --git a/skins/common/images/be-tarask/php.ini b/skins/common/images/be-tarask/php.ini
new file mode 120000 (symlink)
index 0000000..3ba6e78
--- /dev/null
@@ -0,0 +1 @@
+../../../../php.ini
\ No newline at end of file
diff --git a/skins/common/images/cyrl/php.ini b/skins/common/images/cyrl/php.ini
new file mode 120000 (symlink)
index 0000000..3ba6e78
--- /dev/null
@@ -0,0 +1 @@
+../../../../php.ini
\ No newline at end of file
diff --git a/skins/common/images/de/php.ini b/skins/common/images/de/php.ini
new file mode 120000 (symlink)
index 0000000..3ba6e78
--- /dev/null
@@ -0,0 +1 @@
+../../../../php.ini
\ No newline at end of file
diff --git a/skins/common/images/fa/php.ini b/skins/common/images/fa/php.ini
new file mode 120000 (symlink)
index 0000000..3ba6e78
--- /dev/null
@@ -0,0 +1 @@
+../../../../php.ini
\ No newline at end of file
diff --git a/skins/common/images/icons/php.ini b/skins/common/images/icons/php.ini
new file mode 120000 (symlink)
index 0000000..3ba6e78
--- /dev/null
@@ -0,0 +1 @@
+../../../../php.ini
\ No newline at end of file
diff --git a/skins/common/images/ksh/php.ini b/skins/common/images/ksh/php.ini
new file mode 120000 (symlink)
index 0000000..3ba6e78
--- /dev/null
@@ -0,0 +1 @@
+../../../../php.ini
\ No newline at end of file
diff --git a/skins/common/images/php.ini b/skins/common/images/php.ini
new file mode 120000 (symlink)
index 0000000..33fe98f
--- /dev/null
@@ -0,0 +1 @@
+../../../php.ini
\ No newline at end of file
diff --git a/skins/common/php.ini b/skins/common/php.ini
new file mode 120000 (symlink)
index 0000000..35b5cdd
--- /dev/null
@@ -0,0 +1 @@
+../../php.ini
\ No newline at end of file
diff --git a/skins/disabled/php.ini b/skins/disabled/php.ini
new file mode 120000 (symlink)
index 0000000..35b5cdd
--- /dev/null
@@ -0,0 +1 @@
+../../php.ini
\ No newline at end of file
diff --git a/skins/htmldump/php.ini b/skins/htmldump/php.ini
new file mode 120000 (symlink)
index 0000000..35b5cdd
--- /dev/null
@@ -0,0 +1 @@
+../../php.ini
\ No newline at end of file
diff --git a/skins/modern/php.ini b/skins/modern/php.ini
new file mode 120000 (symlink)
index 0000000..35b5cdd
--- /dev/null
@@ -0,0 +1 @@
+../../php.ini
\ No newline at end of file
diff --git a/skins/monobook/php.ini b/skins/monobook/php.ini
new file mode 120000 (symlink)
index 0000000..35b5cdd
--- /dev/null
@@ -0,0 +1 @@
+../../php.ini
\ No newline at end of file
diff --git a/skins/myskin/php.ini b/skins/myskin/php.ini
new file mode 120000 (symlink)
index 0000000..35b5cdd
--- /dev/null
@@ -0,0 +1 @@
+../../php.ini
\ No newline at end of file
diff --git a/skins/php.ini b/skins/php.ini
new file mode 120000 (symlink)
index 0000000..9fc31db
--- /dev/null
@@ -0,0 +1 @@
+../php.ini
\ No newline at end of file
diff --git a/skins/simple/php.ini b/skins/simple/php.ini
new file mode 120000 (symlink)
index 0000000..35b5cdd
--- /dev/null
@@ -0,0 +1 @@
+../../php.ini
\ No newline at end of file
diff --git a/t/inc/php.ini b/t/inc/php.ini
new file mode 120000 (symlink)
index 0000000..35b5cdd
--- /dev/null
@@ -0,0 +1 @@
+../../php.ini
\ No newline at end of file
diff --git a/t/maint/php.ini b/t/maint/php.ini
new file mode 120000 (symlink)
index 0000000..35b5cdd
--- /dev/null
@@ -0,0 +1 @@
+../../php.ini
\ No newline at end of file
diff --git a/t/php.ini b/t/php.ini
new file mode 120000 (symlink)
index 0000000..9fc31db
--- /dev/null
+++ b/t/php.ini
@@ -0,0 +1 @@
+../php.ini
\ No newline at end of file
diff --git a/tests/php.ini b/tests/php.ini
new file mode 120000 (symlink)
index 0000000..9fc31db
--- /dev/null
@@ -0,0 +1 @@
+../php.ini
\ No newline at end of file