Extension:Random In Category/de-formal

MediaWiki extensions manual

Random In Category Release status: stable
Implementation	Special page
Description	Direct the user to a random page in a specified category
Author(s)	Victor Vasiliev (VasilievVVDiskussion)
Latest version	2.2.0 (2019-04-04)
MediaWiki	1.25+
Database changes	No
License	GNU General Public License 2.0 or later
Download	Download extension Git [?]: Download Git master browse repository (GitHub) commit history repository contributors (GitHub) code review
Translate the Random In Category extension if it is available at translatewiki.net
Issues	Open tasks · Report a bug

The Random In Category extension allows you to direct the user to a random page in a specified category.

Usage

Very similarly to Special:Random, you can specify a category name as a parameter to the page. Thus, "Special:RandomInCategory/Foo" or "Special:RandomPageInCategory/Foo" (MW ≥ MW 1.22) will get you a page from the "Foo" category.

Comparison to Core

MediaWiki Version:

≥ 1.22

In MediaWiki 1.22, a Special:RandomInCategory feature was added to core. The core version gives much more biased results than this extension (However, it has much less performance overhead). Versions of this extension for MediaWiki 1.22 and greater change the name that this extension provides from "Special:RandomInCategory" to Special:RandomPageInCategory to prevent conflict with the core feature.

Installation

• Die Erweiterung herunterladen und die Datei(en) in ein Verzeichnis namens RandomInCategory im Ordner extensions/ ablegen.
  Developers and code contributors should install the extension from Git instead, using:cd extensions/
git clone https://gerrit.wikimedia.org/r/mediawiki/extensions/RandomInCategory
• Folgenden Code am Ende Ihrer LocalSettings.php -Datei hinzufügen:

  wfLoadExtension( 'RandomInCategory' );
  

•  Done – Zu Special:Version in dem Wiki (bei Einstellung auf deutsch nach Spezial:Version) navigieren, um die erfolgreiche Installierung der Erweiterung zu überprüfen.