CustomUIManager.php
|
updated copyright label
|
2020-01-22 10:39:35 +01:00 |
ElementBuilder.php
|
Add compatibility with php 8.2
|
2023-01-17 10:06:56 +01:00 |
IconManager.php
|
updated copyright label
|
2020-01-22 10:39:35 +01:00 |
LabelLine.php
|
change the fontsize of fix the flooring
|
2022-04-14 02:49:42 +02:00 |
ManialinkPageAnswerListener.php
|
updated copyright label
|
2020-01-22 10:39:35 +01:00 |
SidebarMenuEntry.php
|
New SidebarMenuManager Version
|
2017-05-19 18:36:41 +02:00 |
SidebarMenuEntryListener.php
|
updated copyright label
|
2020-01-22 10:39:35 +01:00 |
ToggleInterfaceManager.php
|
Add an option to hide UI by default
|
2022-03-12 11:26:56 +01:00 |