index 3d892c8e355d816a37106be2ed143e6c4f815fee..ba3288a63de2bcf49940029154be2c300c95c3b1 100644 (file)
function gen_menu()
{
- /* Check if class_location.inc has changed, this is the case
- if we have installed or removed plugins.
- */
- if(!session::is_set("class_location.inc:timestamp")){
- $tmp = stat("../include/class_location.inc");
- session::set("class_location.inc:timestamp",$tmp['mtime']);
- }else{
- $tmp = stat("../include/class_location.inc");
- if($tmp['mtime'] != session::get("class_location.inc:timestamp")){
- $this->menu = "";
- }
- }
-
if ($this->menu == ""){
$first= TRUE;
$cfg= $this->config->data['MENU'];
function show_iconmenu()
{
global $class_mapping;
-
if ($this->iconmenu == ""){
$cfg= $this->config->data['MENU'];
{
return(isset($this->allowed_plugins[$plug_id]));
}
+
+
+ /*! \brief Force the menu to be recreated
+ */
+ function reset_menus()
+ {
+ $this->menu = "";
+ $this->iconmenu ="";
+ }
+
}
// vim:tabstop=2:expandtab:shiftwidth=2:filetype=php:syntax:ruler:
?>