Extension:DeletePagesForGood

Manuel des extensions MediaWiki

DeletePagesForGood État de la version : stable
Implémentation	Action de page
Description	Permet aux utilisateurs de supprimer définitivement les pages de la base de données
Auteur(s)	Paladoxdiscussion
Dernière version	2.0
MediaWiki	>= 1.38.0
Modifie la base de données	Non
Composer	mediawiki/deletepagesforgood
Licence	Licence publique générale GNU v2.0 ou supérieur
Téléchargement	Télécharger l'extension Git [?]: Télécharger la branche master de Git parcourir le dépôt (Phabricator · GitHub) historique des validations (commits) contributeurs du dépôt (GitHub) relecture du code
Paramètres $wgDeletePagesForGoodNamespaces $wgDeletePagesForGoodDeleteContent
Droits ajoutés deleteperm
Accroches utilisées SkinTemplateNavigation::Universal
Téléchargements trimestriels	19 (Ranked 114th)
Traduire l’extension DeletePagesForGood sur translatewiki.net si elle y est disponible
Problèmes	Tâches ouvertes · Signaler un bogue

L'extension DeletePagesForGood permet aux utilisateurs de supprimer définitivement des pages de la base de données en ajoutant un nouvel onglet supprimer sur chaque page. Even if you permanently delete a page, the page title, how many edits does the page have and the time of edits can still be seen through CheckUser if you enter the user or IP address who created or edited the page.

Installation

• Téléchargez et placez le(s) fichier(s) dans un répertoire appelé DeletePagesForGood dans votre dossier extensions/.
  Les développeurs et les contributeurs au code doivent à la place installer l'extension à partir de Git en utilisant:cd extensions/
git clone https://gerrit.wikimedia.org/r/mediawiki/extensions/DeletePagesForGood
• Ajoutez le code suivant à la fin de votre fichier LocalSettings.php  :

  wfLoadExtension( 'DeletePagesForGood' );
  

•  Fait – Accédez à Special:Version sur votre wiki pour vérifier que l'extension a bien été installée.

Droits utilisateur

Vous pouvez configurer les droits utilisateur dans LocalSettings.php  :

Valeurs par défaut de DeletePagePermanently.php :

$wgGroupPermissions['*']['deleteperm'] = false;
$wgGroupPermissions['user']['deleteperm'] = false;
$wgGroupPermissions['bureaucrat']['deleteperm'] = false;
$wgGroupPermissions['sysop']['deleteperm'] = true;

L'extension introduit le nouveau droit utilisateur deleteperm.

Espaces de noms

Pour configurer ceci, ajoutez quelques lignes à votre LocalSettings.php  :

$wgDeletePagesForGoodNamespaces = [
	NS_MAIN => true,
	NS_TALK => true,
	NS_CATEGORY => true,
	NS_CATEGORY_TALK => true,
	NS_TEMPLATE => true,
	NS_TEMPLATE_TALK => true,
	NS_USER => true,
	NS_USER_TALK => true,
	NS_FILE => true,
	NS_FILE_TALK => true,
];

Les espaces de noms prédéfinis sont décrits dans page d'aide des espaces de noms .