Christopher Vagnetoft d01730862b Fix unicode glyphs

2025-09-26 15:26:26 +02:00

..

Editor.php

Fix unicode glyphs

2025-09-26 15:26:26 +02:00

Menu.php

Misc fixes

2024-10-07 00:30:09 +02:00

MessageBox.php

Misc fixes

2024-10-07 00:30:09 +02:00