Searched refs:createMenuManager (Results 1 – 1 of 1) sorted by relevance
483 function createMenuManager() { $x = new MenuManager(); return $x;} function4910 $menu = createMenuManager();