| Index: trunk/extensions/RecordAdmin/SpecialRecordAdmin.php |
| — | — | @@ -6,12 +6,6 @@ |
| 7 | 7 | $wgSpecialPages['RecordAdmin'] = 'SpecialRecordAdmin'; |
| 8 | 8 | $wgSpecialPageGroups['RecordAdmin'] = 'wiki'; |
| 9 | 9 | |
| 10 | | -$wgExtensionFunctions[] = 'wfSetupSpecialRecordAdmin'; |
| 11 | | -function wfSetupSpecialRecordAdmin() { |
| 12 | | - global $wgSpecialRecordAdmin; |
| 13 | | - $wgSpecialRecordAdmin = new SpecialRecordAdmin(); |
| 14 | | -} |
| 15 | | - |
| 16 | 10 | $wgExtensionCredits['specialpage'][] = array( |
| 17 | 11 | 'path' => __FILE__, |
| 18 | 12 | 'name' => 'Record administration', |