diff options
| author | Pierre Schmitz <pierre@archlinux.de> | 2014-02-28 08:36:29 +0100 |
|---|---|---|
| committer | Pierre Schmitz <pierre@archlinux.de> | 2014-02-28 08:36:29 +0100 |
| commit | a4edbfa031eb4cd72678051f1510afde4f77951e (patch) | |
| tree | 76cef11b1a13538c8982a7491dbbf7324d4a7b2a /includes/specials/SpecialPrefixindex.php | |
| parent | 1b65fa2a5f4c48b02ceda934e9c1aee2d03ce453 (diff) | |
Update to MediaWiki 1.22.3
Diffstat (limited to 'includes/specials/SpecialPrefixindex.php')
| -rw-r--r-- | includes/specials/SpecialPrefixindex.php | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/includes/specials/SpecialPrefixindex.php b/includes/specials/SpecialPrefixindex.php index 28d07ffc..0d065b09 100644 --- a/includes/specials/SpecialPrefixindex.php +++ b/includes/specials/SpecialPrefixindex.php @@ -264,6 +264,7 @@ class SpecialPrefixindex extends SpecialAllpages { 'from' => $s->page_title, 'prefix' => $prefix, 'hideredirects' => $this->hideRedirects, + 'stripprefix' => $this->stripPrefix, ); if ( $namespace || $prefix == '' ) { |