function output_modules()
{
    $modules = mod_listinstalled();
    foreach ($modules as $mod => $name) {
        /*{*/
        if (mod_checkisinstalled($mod)) {
            if (mod_getadmin($mod)) {
                if (ses_get("admin")) {
                    echo output_link("?m=" . $mod, $name) . "<br />";
                }
            } else {
                echo output_link("?m=" . $mod, $name) . "<br />";
            }
        }
    }
    /*}*/
}
function mod_echomenu($mod)
{
    if (mod_checkisinstalled($mod)) {
        require "modules/" . mod_getname($mod) . "/menu.inc.php";
    }
}