PHPでJavascriptを圧縮する