Manuel:SpecialPage.php
| Fichier MediaWiki : SpecialPage.php | |
|---|---|
| Emplacement : | includes/specialpage/ |
| Code source : | master • 1.41.1 • 1.40.3 • 1.39.7 |
| Classes : | SpecialPage |
Description
SpecialPage.php contient la classe des pages spéciales ainsi que les fonctions statiques pour gérer les pages spéciales et les listes ci-dessus.
Pour ajouter une page spéciale à une extension, il faut ajouter à $wgSpecialPages soit
- une instance d'objet, soit
- un tableau contenant le nom du constructeur et ses paramètres (préférable pour des raisons de performance)
L'objet instancié doit être soit une instance de SpecialPage ou une de ses sous-classes.
Il doit avoir une méthode execute() qui envoie le HTML de la page spéciale à $wgOut.
La classe parent possède une méthode execute() qui distribue l'appel aux fonctions globales historiques.
En plus, execute() vérifie également si l'utilisateur possède les droits d'accès nécessaires et le rejette si ce n'est pas le cas.
- Pour ajouter une page spéciale du noyau, utilisez la liste statique similaire dans
SpecialPageFactory::$coreList. - Pour supprimer une page spéciale statique du noyau au démarrage, utilisez une accroche initList.