Translations:Manual:Update.php/7/en

From the command line, or an SSH shell or similar: