config["menu_page"]; if (isset($menu_page) and ($menu_page!="")) { $plugin_output_new = preg_replace ('/<\/body>/',''."\n".'', $plugin_output_new); } ?>