Jakub Vrana cca943015f New plugin: Configure options by end-users and store them to a cookie

2025-04-06 07:29:16 +02:00

..

adminer.inc.php

New plugin: Configure options by end-users and store them to a cookie

2025-04-06 07:29:16 +02:00

connect.inc.php

Use connection() instead of $connection

2025-03-29 22:10:20 +01:00

editing.inc.php

Doc-comments: Format

2025-03-28 12:45:02 +01:00