Help:Extension/BatchDelete

Extension Information
Implementation
Description
Author(s)	K, Suwa
Version	0.1
MediaWiki
License
Hooks used
Token type	Special Page

BatchDeleteはweb上からページの一括削除を行うextensionです。

使い方はExportと同じように、名前空間付きのページ名を列挙するだけです。ただし、batchdelete権限を与えられているグループに属するユーザのみが実行できます。

Requirements

None

Download

version	source	md5	OperationCheck version
0.1(February 21,2011)	BatchDelete.tgz	0d2071bbcda0dab9f374638e918360fc	1.11.1, 1.16.2

Installtion

1. tgzファイルをダウンロードし、解凍して下さい。
2. Place it in the extensions/ directory.
3. Insert the follow lines to LocalSettings.php

   require_once( "$IP/extensions/BatchDelete/BatchDelete.setup.php" );
   $wgGroupPermissions['xxx']['batchdelete'] = true

   xxxにはBatchDeleteを許可するグループ名を入れて下さい。このグループに属するユーザのみがBatchDeleteの機能を利用できます。

Function

1. BatchDelete