| Index: trunk/extensions/PureWikiDeletion/PureWikiDeletion.php |
| — | — | @@ -32,7 +32,7 @@ |
| 33 | 33 | 'url' => 'http://www.mediawiki.org/wiki/Extension:PureWikiDeletion', |
| 34 | 34 | 'description' => 'Implements pure wiki deletion', |
| 35 | 35 | 'descriptionmsg' => 'purewikideletion-desc', |
| 36 | | - 'version' => '1.0.4', |
| | 36 | + 'version' => '1.0.5', |
| 37 | 37 | ); |
| 38 | 38 | |
| 39 | 39 | $dir = dirname( __FILE__ ) . '/'; |
| — | — | @@ -73,10 +73,10 @@ |
| 74 | 74 | $wgLogActions['blank/unblank'] = 'blank-log-entry-unblank'; |
| 75 | 75 | |
| 76 | 76 | $wgSpecialPages['RandomExcludeBlank'] = 'RandomExcludeBlank'; |
| 77 | | -$wgSpecialPages['AllPagesExcludeBlank'] = 'AllPagesExcludeBlank'; |
| | 77 | +#$wgSpecialPages['AllPagesExcludeBlank'] = 'AllPagesExcludeBlank'; |
| 78 | 78 | $wgSpecialPages['PopulateBlankedPagesTable'] = 'PopulateBlankedPagesTable'; |
| 79 | 79 | $wgSpecialPageGroups['RandomExcludeBlank'] = 'redirects'; |
| 80 | | -$wgSpecialPageGroups['AllPagesExcludeBlank'] = 'pages'; |
| | 80 | +#$wgSpecialPageGroups['AllPagesExcludeBlank'] = 'pages'; |
| 81 | 81 | $wgSpecialPageGroups['PopulateBlankedPagesTable'] = 'wiki'; |
| 82 | 82 | |
| 83 | 83 | # User right to execute Special:PopulateBlankedPagesTable |