Eric Lippmann 83443a5dc4 Use -1 for last update of the menu ... We must not rely on the server time minus an offset for the last update of the menu to trigger an immediate update of the menu because the server time may be behind the current time. fixes #8694		2015-03-12 00:52:19 +01:00
..
parts	Use -1 for last update of the menu	2015-03-12 00:52:19 +01:00
body.phtml	Re-add dashboard link to the upper left logo	2015-03-06 13:44:14 +01:00
inline.phtml	Layout restructured	2014-02-21 14:03:47 +00:00
layout.phtml	PHP: avoid short tags <?	2014-10-23 10:44:54 +02:00
pdf.phtml	Mute icons properly using the new automatic mechanisms of our view helpers	2015-02-16 10:52:42 +01:00