Beu 2440de9b92 Fix various interfaces to adapt with different sizes

2023-09-08 12:19:12 +02:00

..

Commands.php

Use Chat::formatMessage in Server/*

2020-06-02 17:30:30 +02:00

Config.php

updated copyright label

2020-01-22 10:39:35 +01:00

Directory.php

Resolve symbolic links with realpath in server directories

2020-02-28 16:18:05 +01:00

RankingManager.php

fixed number mismatch declerations

2020-04-21 17:57:36 +02:00

ScriptManager.php

moved scriptmanager

2017-03-26 13:11:30 +02:00

Server.php

Use Chat::formatMessage in Server/*

2020-06-02 17:30:30 +02:00

ServerOptionsMenu.php

Fix various interfaces to adapt with different sizes

2023-09-08 12:19:12 +02:00

ServerUIPropertiesMenu.php

Use Chat::formatMessage in Server/*

2020-06-02 17:30:30 +02:00

UsageReporter.php

updated copyright label

2020-01-22 10:39:35 +01:00

VoteRatiosMenu.php

Use Chat::formatMessage in Server/*

2020-06-02 17:30:30 +02:00