diff --git a/tools/check.php b/tools/check.php new file mode 100644 index 0000000..d959bdc --- /dev/null +++ b/tools/check.php @@ -0,0 +1,7 @@ +