Translations:Manual:IRC RC Bot/5/en

In the above entries used in your LocalSettings.php file $port would be 1338.