Extension:ExcludeRandom/ja

Category:Unmaintained extensions/ja#ExcludeRandom/ja Category:BSD licensed extensions/ja
MediaWiki 拡張機能マニュアル
ExcludeRandom
リリースの状態: 保守されていないCategory:Unmaintained extensions/ja
実装 自分のウィキ Category:Personalization extensions/ja
説明 Allows pages to be excluded from Special:Random
作者 Matt Russell (ultradude25トーク)
最新バージョン 2.0.0 (2018-09-08)
MediaWiki 1.16+Category:Extensions with manual MediaWiki version
PHP 5.1+
データベースの変更 いいえ
ライセンス 「修正」三条項 BSD ライセンス
ダウンロード Category:Extensions in GitHub version control/ja
  • $wgExcludeRandomPages
Category:All extensions/jaCategory:Extensions not in ExtensionJson

The ExcludeRandom extension allows pages to be excluded from Special:Random. For example, this could be useful for hiding in-complete translation pages that have been yet to be moved to their own sub-domain.

インストール

  • Downloadして、ファイルをextensions/フォルダー内のExcludeRandomという名前のディレクトリ内に配置します。
  • 以下のコードを LocalSettings.php ファイルの末尾に追加します:
    wfLoadExtension( 'ExcludeRandom' );
    
  • Yes 完了 – ウィキの「Special:Version」に移動して、拡張機能が正しくインストールされたことを確認します。

設定

$wgExcludeRandomPages
The list of pages to be excluded, in an array. * wildcard is supported (matches any amount of any characters).

使用法

$wgExcludeRandomPages = [ 'Main Page', '*/fr' ];

This will disallow Main Page and anything/fr from being selected by Special:Random.

Category:Random page extensions/ja
Category:All extensions/ja Category:BSD licensed extensions/ja Category:Extensions in GitHub version control/ja Category:Extensions not in ExtensionJson Category:Extensions with manual MediaWiki version Category:Personalization extensions/ja Category:Random page extensions/ja Category:SpecialRandomGetRandomTitle extensions/ja Category:Unmaintained extensions/ja