83443a5dc4
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 |
||
---|---|---|
.. | ||
navigation.phtml |