Dennis Eichhorn 91da641a1a bump php version		2020-12-03 23:07:33 +01:00
..
db.json	remove some getter/setter	2020-11-24 17:31:20 +01:00
Navigation.install.json	impl. lazy loading and better media lists	2020-09-25 18:01:29 +02:00
Navigation.php	bump php version	2020-12-03 23:07:33 +01:00