Efficient JavaScript minification in PHP