s/admininstrator/administrator/gi

www/approvewauser.php3

@@ -17,7 +17,7 @@ PAGEHEADER("Widearea Accounts Approval Form");
 $uid = GETLOGIN();
 LOGGEDINORDIE($uid);
 if (! ISADMIN($uid)) {
-    USERERROR("Only testbed admininstrators people can access this page!", 1);
+    USERERROR("Only testbed administrators people can access this page!", 1);
 }
 ignore_user_abort(1);
 

www/approvewauser_form.php3

@@ -17,7 +17,7 @@ PAGEHEADER("Widearea Accounts Approval Form");
 $auth_usr = GETLOGIN();
 LOGGEDINORDIE($auth_usr);
 if (! ISADMIN($auth_usr)) {
-    USERERROR("Only testbed admininstrators people can access this page!", 1);
+    USERERROR("Only testbed administrators people can access this page!", 1);
 }
 
 echo "

www/freenode.php3

@@ -29,7 +29,7 @@ if (!isset($node_id) || !strcmp($node_id, "") || !TBValidNodeName($node_id)) {
 # Only admin users can do this.
 #
 if (! $isadmin) {
-    USERERROR("Only admininstrators can free nodes from the web interface!",
+    USERERROR("Only administrators can free nodes from the web interface!",
 	      1);
 }
 

www/menu.php3

@@ -470,7 +470,7 @@ function PAGEHEADER($title) {
     FINISHSIDEBAR();
     echo "<h2 class=\"nomargin\">\n";
 
-    if ($login_uid && ISADMININSTRATOR()) {
+    if ($login_uid && ISADMINISTRATOR()) {
 	if (ISADMIN($login_uid)) {
 	    echo "<a href=adminmode.php3?target_uid=$login_uid&adminoff=1>
 	             <img src='/redball.gif'

www/tbauth.php3

@@ -321,7 +321,7 @@ function ISADMIN($uid) {
 }
 
 # Is this user a real administrator (ignore onoff bit).
-function ISADMININSTRATOR() {
+function ISADMINISTRATOR() {
     global $CHECKLOGIN_STATUS;
     
     if ($CHECKLOGIN_STATUS == CHECKLOGIN_NOSTATUS)