diff --git a/tools/maintenance.php b/tools/maintenance.php new file mode 100644 index 00000000..14de7a94 --- /dev/null +++ b/tools/maintenance.php @@ -0,0 +1,13 @@ +