renaming mediawiki.specials to mediawiki.special (matches the Special-pagename and...
[mediawiki.git] / includes / installer / 
treeee71f2bfc546dd6c85416e94692683ebcfdf1412
drwxr-xr-x   ..
-rw-r--r-- 3337 CliInstaller.php
-rw-r--r-- 13041 CoreInstaller.php
-rw-r--r-- 12490 DatabaseInstaller.php
-rw-r--r-- 14729 DatabaseUpdater.php
-rw-r--r-- 832721 Installer.i18n.php
-rw-r--r-- 24480 Installer.php
-rw-r--r-- 9888 LocalSettingsGenerator.php
-rw-r--r-- 12758 MysqlInstaller.php
-rw-r--r-- 32272 MysqlUpdater.php
-rw-r--r-- 5961 OracleInstaller.php
-rw-r--r-- 2664 OracleUpdater.php
-rw-r--r-- 2093 PhpBugTests.php
-rw-r--r-- 4837 PostgresInstaller.php
-rw-r--r-- 31672 PostgresUpdater.php
-rw-r--r-- 5209 SqliteInstaller.php
-rw-r--r-- 3591 SqliteUpdater.php
-rw-r--r-- 24173 WebInstaller.php
-rw-r--r-- 6126 WebInstallerOutput.php
-rw-r--r-- 30898 WebInstallerPage.php