Dennis Eichhorn 48c3a3f7b5 change icon font to google icons		2023-10-19 21:44:09 +00:00
..
db.json	phpstan, phpcs, phpunit fixes	2023-01-27 22:12:09 +01:00
Navigation.install.json	change icon font to google icons	2023-10-19 21:44:09 +00:00
Navigation.php	Fix file header	2023-06-17 03:13:29 +02:00