Translations:Manual:LocalSettings.php/113/en

In a terminal window, change to your wiki directory, change to the  folder, and enter.