Clean sweep through all the important changing all include(), include_once()

and require() to require_once()
2003-01-05 14:19:20 +00:00
parent af60ea8a86
commit b0e3a92523
88 changed files with 167 additions and 166 deletions
@@ -2,7 +2,7 @@
      // Admin-only script to assign administrative rights to users
      // !!! based on ../course/teacher.php (cut and pasted, then mangled)

-	require("../config.php");
+	require_once("../config.php");

    # sanity checks
    assert("!ereg('[^0-9]', \$_REQUEST['add'])");