header（“Content-Type:?text/plain“）;
set_time_limit（0）;

$compiler?=?“java?-jar?yui.jar“;

$copyright?=?@file_get_contents（“conf/copyright“）.“\n\n“;

$skins?=?array（“skyblue“?“web“?“terrace“）;
if?（!file_exists（“../../skins“））?mkdir（“../../skins“）;
if?（!file_exists（“../../codebase“））?mkdir（“../../codebase“）;

$fname?=?trim（file_get_contents（“conf/compressed_filename“））;

$debug?=?（preg_match（“/--debug=true/“?@$argv[1]）?>?0）;


//?js
print_r（“\ncompress?js\n“.str_repeat（“-“80）.“\n“）;

$stat?=?array（
	“stat_js“?=>?$fname.“.js“
	“stat_depr“?=>?$fname.“_deprecated.js“
）;

foreach?（$stat?as?$st=>$output）?{
	
	$content?=?““;
	//?list?of?files
	$files?=?array_values（array_map（“trim“?array_diff（explode（“\n“?file_get_contents（“conf/“.$st））?array（““））））;
	for?（$q=0;?$q