Translations:Manual:Parameters to index.php/185/en

overrides user preference on external editors;