php-horde-text-filter-jsmin