beu 8e6fce3e2b Fix different interfaces elements positions when changing size settings

2024-07-13 14:47:11 +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 different interfaces elements positions when changing size settings

2024-07-13 14:47:11 +02:00

ServerUIPropertiesMenu.php

Fix different interfaces elements positions when changing size settings

2024-07-13 14:47:11 +02:00

UsageReporter.php

updated copyright label

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

VoteRatiosMenu.php

Fix different interfaces elements positions when changing size settings

2024-07-13 14:47:11 +02:00