diff --git a/server_modules.php b/server_modules.php deleted file mode 100644 index e6f5f907f4..0000000000 --- a/server_modules.php +++ /dev/null @@ -1,31 +0,0 @@ -addHTML('