Handbuch:cleanupCaps.php
Appearance
MediaWiki Version: | ≥ 1.5 |
MediaWiki-Datei: cleanupCaps.php | |
---|---|
Speicherort: | maintenance/ |
Quellcode: | master • 1.42.3 • 1.41.4 • 1.39.10 |
Klassen: | CapsCleanup |
Details
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!
Optionen/Argumente
Option | Beschreibung | Notwendig? |
---|---|---|
--dry-run | Don't actually try moving them. | Optional |
--namespace | Namespace to run the script for. Default is 0 (main namespace). | Optional |
Verwendung
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