Extension:ExcludeRandom/pl
![]() | To rozszerzenie nie jest aktualnie aktywnie rozwijane! Pomimo, że może nadal działać, jakiekolwiek zgłoszenia błędów lub propozycji funkcji będą najprawdopodobniej ignorowane. |
![]() Status wydania: niewspieraneCategory:Unmaintained extensions/pl |
|
---|---|
Realizacja | MyWikiCategory:Personalization extensions/pl |
Opis | Allows pages to be excluded from Special:Random |
Autor(zy) | Matt Russell (ultradude25dyskusja) |
Ostatnia wersja | 2.0.0 (2018-09-08) |
MediaWiki | 1.16+Category:Extensions with manual MediaWiki version |
PHP | 5.1+ |
Zmiany w bazie danych | Nie |
Licencja | BSD 3-clause "Modified" License |
Pobieranie | Pobierz master snapshot Uwaga: |
|
|
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.
Instalacja
- Download i umieść plik(i) w katalogu o nazwie
ExcludeRandom
w swoim kataloguextensions/
. - Dodaj poniższy kod na dole twojego pliku LocalSettings.php :
wfLoadExtension( 'ExcludeRandom' );
Zrobione – Przejdź do Special:Version na twojej wiki, aby sprawdzić czy rozszerzenie zostało pomyślnie zainstalowane.
Konfiguracja
- $wgExcludeRandomPages
- The list of pages to be excluded, in an array.
*
wildcard is supported (matches any amount of any characters).
Użycie
$wgExcludeRandomPages = [ 'Main Page', '*/fr' ];
This will disallow Main Page
and anything/fr
from being selected by Special:Random.
Category:All extensions/pl
Category:BSD licensed extensions/pl
Category:Extensions in GitHub version control/pl
Category:Extensions not in ExtensionJson
Category:Extensions with manual MediaWiki version
Category:Personalization extensions/pl
Category:Random page extensions/pl
Category:SpecialRandomGetRandomTitle extensions/pl
Category:Unmaintained extensions/pl