Dennis Eichhorn 827547d342 make type hints easier to read		2020-06-08 22:43:28 +02:00
..
de.lang.php	make type hints easier to read	2020-06-08 22:43:28 +02:00
en.lang.php	make type hints easier to read	2020-06-08 22:43:28 +02:00
Navigation.de.lang.php	add/improve locale	2020-04-05 19:31:56 +02:00
Navigation.en.lang.php	phpcs fixes	2019-10-06 17:50:12 +02:00