From adf17b677edeb2387671f6a0f12123e7497b5938 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Nicolas=20L=C5=93uillet?= Date: Sun, 18 Jan 2015 20:07:46 +0100 Subject: remove 3rd libraries --- .../HTMLPurifier/ChildDef/Optional.php | 45 ---------------------- 1 file changed, 45 deletions(-) delete mode 100644 inc/3rdparty/htmlpurifier/HTMLPurifier/ChildDef/Optional.php (limited to 'inc/3rdparty/htmlpurifier/HTMLPurifier/ChildDef/Optional.php') diff --git a/inc/3rdparty/htmlpurifier/HTMLPurifier/ChildDef/Optional.php b/inc/3rdparty/htmlpurifier/HTMLPurifier/ChildDef/Optional.php deleted file mode 100644 index 1db864d9..00000000 --- a/inc/3rdparty/htmlpurifier/HTMLPurifier/ChildDef/Optional.php +++ /dev/null @@ -1,45 +0,0 @@ -whitespace) { - return $children; - } else { - return array(); - } - } - return $result; - } -} - -// vim: et sw=4 sts=4 -- cgit v1.2.3