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
..
helpers	Use a `\' in the use statement	2014-09-05 16:59:49 +02:00
scripts	Auto refresh menu	2014-09-08 15:21:14 +02:00