Extension:Maintenance: verschil tussen versies
a>Admin Nieuwe pagina aangemaakt met '{{sys:back|page=Mediawiki}} {{Extension:{{sys:titlepart}}}} Categorie:Mediawiki Extension' |
k 1 versie geïmporteerd |
(geen verschil)
| |
Huidige versie van 16 sep 2020 om 11:34
Terug naar Mediawiki
Beschrijving
Voor het uitvoeren van van maintenance scripts
Versie
2.2.0
Installeren
- Download Extension Maintenance
- Neem in LocalSettings.php de volgende regels op:
#Wiki Maintenance
require_once("$IP/extensions/Maintenance/Maintenance.php");
$wgGroupPermissions['sysop']['maintenance']=true;