diff --git a/util/docblox_errorchecker.php b/util/docblox_errorchecker.php deleted file mode 100644 index a67be69ceb..0000000000 --- a/util/docblox_errorchecker.php +++ /dev/null @@ -1,145 +0,0 @@ -