- Fixed bug #11312: menu caching to aggresively.  I did not apply the proposed
  patch but moved the menu-logic to the $may_cache clause and added some checks
  to avoid SQL overhead.  I think this is the most performant solution.