diff options
| author | Pierre Schmitz <pierre@archlinux.de> | 2015-12-17 09:15:42 +0100 |
|---|---|---|
| committer | Pierre Schmitz <pierre@archlinux.de> | 2015-12-17 09:44:51 +0100 |
| commit | a1789ddde42033f1b05cc4929491214ee6e79383 (patch) | |
| tree | 63615735c4ddffaaabf2428946bb26f90899f7bf /extensions/Renameuser/SpecialRenameuser.php | |
| parent | 9e06a62f265e3a2aaabecc598d4bc617e06fa32d (diff) | |
Update to MediaWiki 1.26.0
Diffstat (limited to 'extensions/Renameuser/SpecialRenameuser.php')
| -rw-r--r-- | extensions/Renameuser/SpecialRenameuser.php | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/extensions/Renameuser/SpecialRenameuser.php b/extensions/Renameuser/SpecialRenameuser.php deleted file mode 100644 index c8a0cb70..00000000 --- a/extensions/Renameuser/SpecialRenameuser.php +++ /dev/null @@ -1,9 +0,0 @@ -<?php -/* - * Renameuser file for b/c... this sucks - */ -require_once( __DIR__ . '/Renameuser.php' ); - -$wgExtensionFunctions[] = function() { - wfWarn( 'The deprecated entrypoint of SpecialRenameuser.php is being used. It will be removed in a future release. Use Renameuser.php instead' ); -}; |