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
..
navigation.phtml	Use -1 for last update of the menu	2015-03-12 00:52:19 +01:00