Matthias Jentsch 545db945da Auto refresh menu ... Put the navigation into a container and reload it once every 15 seconds from a distinct menu action. Include the current path into an URL param to still be able to mark the current menu item as active. fixes #6955		2014-09-08 15:21:14 +02:00
..
css	Do not show badge when menu is active	2014-09-08 09:36:33 +02:00
img	Use an icon with better interpolation in our header bar	2014-09-04 17:41:48 +02:00
js	Auto refresh menu	2014-09-08 15:21:14 +02:00
index.php	Remove license headers from all files	2014-07-15 13:43:52 +02:00