--- trunk/tools/mediawiki/ashighlight.class.php 2008/04/07 09:06:56 1766 +++ trunk/tools/mediawiki/ashighlight.class.php 2008/04/22 13:12:03 1767 @@ -1,6 +1,6 @@