Translations:Manual:SpecialPage.php/3/en

To add a special page in an extension, add to $wgSpecialPages either