Podręcznik:CleanupCaps.php
Outdated translations are marked like this.
Wersja MediaWiki: | ≥ 1.5 |
Plik MediaWiki: cleanupCaps.php | |
---|---|
Lokalizacja: | maintenance/ |
Kod źródłowy: | master • 1.42.1 • 1.41.2 • 1.39.8 |
Klasy: | CapsCleanup |
Szczegóły
cleanupCaps.php file is a maintenance script that is used to clean up broken page links when somebody turns off $wgCapitalLinks . The conversions will be attributed to the user called Conversion script.
This script transforms ALL the pages from your Wiki from uppercases to lowercases and creates redirects from the uppercases to lowercases (example: If you have a page called "Bear", it will move it to page "bear" and the page "Bear" will be a redirect to "bear") - do not use this script, unless you are prepared to manually fix a lot of redirects!
Options/Arguments
Opcja/Parametr | Opis | Required? |
---|---|---|
--dry-run | Don't actually try moving them. | Optional |
--namespace | Namespace to run the script for. Default is 0 (main namespace). | Optional |
Użycie
php maintenance/cleanupCaps.php [ --dry-run| --namespace ]
Checking with dry-run
Terminal
$ php maintenance/cleanupCaps.php --dry-run Will be moving pages to first letter lowercase titles Processing page... "Main Page" -> "main Page": DRY RUN, NOT MOVED "Saraswati Maa" -> "saraswati Maa": DRY RUN, NOT MOVED "abc" already lowercase. Finished page... 2 of 5 rows updated
Actually moving pages
Terminal
$ php maintenance/cleanupCaps.php Will be moving pages to first letter lowercase titles Processing page... "Main Page" -> "main Page": OK "Saraswati Maa" -> "saraswati Maa": OK "abc" already lowercase. Finished page... 2 of 5 rows updated