PHP extension for JavaScript minification