Index: trunk/tools/mwmultiversion/multiversion/switchAllMediaWikis |
— | — | @@ -8,7 +8,7 @@ |
9 | 9 | * so they will still need to be synced to push the upgrade/downgrade. |
10 | 10 | * |
11 | 11 | * The first argument is the old version, typically of the format "php-X.XX". |
12 | | - * If "all" is given, then all wikis will be switched over. |
| 12 | + * If "all" is given, then all wikis will be switched over. |
13 | 13 | * The second argument is the new version, typically of the format "php-X.XX". |
14 | 14 | * |
15 | 15 | * @return void |