A PHP-based JavaScript and CSS command-line minifier