oups : pop->array_pop

diff --git a/include/menu.inc.php b/include/menu.inc.php
index 26256c2..4d2b513 100644 (file)
--- a/include/menu.inc.php
+++ b/include/menu.inc.php
@@ -44,7 +44,7 @@ if(logged()) {
             'Documentations' => '###url###',
             'Clear cache' => 'clear_all_cache.php'
         );
-        if(empty($site_dev)) pop($menu['***']);
+        if(empty($site_dev)) array_pop($menu['***']);
     }
 } else {
     $menu = Array(