diff options
Diffstat (limited to '')
| -rw-r--r-- | plugins/LocalFilesEditor/main.inc.php | 9 |
1 files changed, 3 insertions, 6 deletions
diff --git a/plugins/LocalFilesEditor/main.inc.php b/plugins/LocalFilesEditor/main.inc.php index e0a4eea75..cfe92c8b9 100644 --- a/plugins/LocalFilesEditor/main.inc.php +++ b/plugins/LocalFilesEditor/main.inc.php @@ -35,12 +35,9 @@ define('LOCALEDIT_PATH' , PHPWG_PLUGINS_PATH . basename(dirname(__FILE__)) . '/' function localfiles_admin_menu($menu) { - array_push( - $menu, - array( - 'NAME' => 'LocalFiles Editor', - 'URL' => get_root_url().'admin.php?page=plugin-'.basename(dirname(__FILE__)) - ) + $menu[] = array( + 'NAME' => 'LocalFiles Editor', + 'URL' => get_root_url().'admin.php?page=plugin-'.basename(dirname(__FILE__)) ); return $menu; |