bad sync with github windows client

1 files changed, 0 insertions, 22 deletions

diff --git a/lib/htmlpurifier/maintenance/common.php b/lib/htmlpurifier/maintenance/common.php
deleted file mode 100644
index 888c7daf9..000000000
--- a/lib/htmlpurifier/maintenance/common.php
+++ /dev/null
@@ -1,22 +0,0 @@
-<?php
-
-function assertCli() {
-    if (php_sapi_name() != 'cli' && !getenv('PHP_IS_CLI')) {
-        echo 'Script cannot be called from web-browser (if you are indeed calling via cli,
-set environment variable PHP_IS_CLI to work around this).';
-        exit(1);
-    }
-}
-
-function prefix_is($comp, $subject) {
-    return strncmp($comp, $subject, strlen($comp)) === 0;
-}
-
-function postfix_is($comp, $subject) {
-    return strlen($subject) < $comp ? false : substr($subject, -strlen($comp)) === $comp;
-}
-
-// Load useful stuff like FSTools
-require_once dirname(__FILE__) . '/../extras/HTMLPurifierExtras.auto.php';
-
-// vim: et sw=4 sts=4