diff options
author | Pierre Schmitz <pierre@archlinux.de> | 2011-12-03 13:29:22 +0100 |
---|---|---|
committer | Pierre Schmitz <pierre@archlinux.de> | 2011-12-03 13:29:22 +0100 |
commit | ca32f08966f1b51fcb19460f0996bb0c4048e6fe (patch) | |
tree | ec04cc15b867bc21eedca904cea9af0254531a11 /maintenance/hiphop/extra-files | |
parent | a22fbfc60f36f5f7ee10d5ae6fe347340c2ee67c (diff) |
Update to MediaWiki 1.18.0
* also update ArchLinux skin to chagnes in MonoBook
* Use only css to hide our menu bar when printing
Diffstat (limited to 'maintenance/hiphop/extra-files')
-rw-r--r-- | maintenance/hiphop/extra-files | 35 |
1 files changed, 35 insertions, 0 deletions
diff --git a/maintenance/hiphop/extra-files b/maintenance/hiphop/extra-files new file mode 100644 index 00000000..15f48577 --- /dev/null +++ b/maintenance/hiphop/extra-files @@ -0,0 +1,35 @@ +img_auth.php +includes/AjaxFunctions.php +includes/AutoLoader.php +includes/DefaultSettings.php +includes/Defines.php +includes/GlobalFunctions.php +includes/ImageFunctions.php +includes/OutputHandler.php +includes/ProxyTools.php +includes/SeleniumWebSettings.php +includes/Setup.php +includes/StreamFile.php +includes/WebStart.php +includes/filerepo/NullRepo.php +includes/normal/UtfNormalDefines.php +includes/normal/UtfNormalUtil.php +index.php +languages/Names.php +load.php +maintenance/Maintenance.php +maintenance/commandLine.inc +maintenance/doMaintenance.php +maintenance/eval.php +opensearch_desc.php +profileinfo.php +redirect.php +resources/Resources.php +serialized/serialize.php +skins/MonoBook.deps.php +skins/MonoBook.php +skins/Vector.deps.php +skins/Vector.php +thumb.php +trackback.php + |