php-horde-javascriptminify