Context menu of page tree does not work anymore
If the "Disable Popup Context Menus" setting in "User Settings > Edit & Advanced functions" is enabled, the context menu of the page tree does not show up anymore.
top.loadTopMenu is not a function
(Thanks to Sven Härtwig for pointing this out)
Tested with Firefox 3.5.3
(issue imported from #M12368)