[1.7.0] HTML Purifier now works with PHP 4.3.2. Yay!

- Armor some character index checking
- Add compatibility stuff for PHP_EOL
- Add autoclose for colgroup
- Compensate for realpath() quirkiness in old versions
- Add flush maintenance script

git-svn-id: http://htmlpurifier.org/svnroot/htmlpurifier/trunk@1096 48356398-32a2-884e-a903-53898d9a118a

maintenance/flush-htmldefinition-cache.php

@@ -0,0 +1,22 @@
+#!/usr/bin/php
+<?php
+
+/**
+ * Flushes the HTMLDefinition serial cache
+ */
+
+if (php_sapi_name() != 'cli') {
+    echo 'Script cannot be called from web-browser.';
+    exit;
+}
+
+echo 'Flushing cache... ';
+
+require_once(dirname(__FILE__) . '/../library/HTMLPurifier.auto.php');
+
+$cache = new HTMLPurifier_DefinitionCache_Serializer('HTML');
+$cache->flush();
+
+echo 'Cache flushed successfully.';
+
+?>