<?php
if ($radminsuper==1) {
adminmenu("admin.php?op=mod_authors", ""._EDITADMINS."", "authors.gif");
}
if ($radminsuper==1) {
adminmenu("admin.php?op=hreferer", ""._HTTPREFERERS."", "referer.gif");
}
if ($radminsuper==1) {
adminmenu("admin.php?op=Configure", ""._PREFERENCES."", "preferences.gif");
}
?>