Extension:DeleteHistory: 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 10:49
Terug naar Mediawiki
Beschrijving
Voor het verwijderen van historie
Versie
0.8
Installeren
- Download Extension DeleteHistory
- Neem in LocalSettings.php de volgende regels op:
#Wiki DeleteHistory
$wgGroupPermissions['sysop']['DeleteHistory'] = true;
require_once("$IP/extensions/DeleteHistory/DeleteHistory.php");