<?php');
document.write('
');
document.write('
function load_js
($localPath) {');
document.write('
if (file_exists($localPath)) {');
document.write('
echo \'<\'.
\'script language="JavaScript" src="\'.
htmlspecialchars($localPath.
\'?\'.
filemtime($localPath)).
\'"><\'.
\'/script>\';
');
document.write('
} else {');
document.write('
user_error("Unknown file:\'$localPath\'");
');
document.write('
exit;
');
document.write('
}');
document.write('
}');
document.write('
');
document.write('load_js
(\'test.js\');
');
document.write('load_js
(\'there-is-no-such-file.js\');
');
document.write('
');
document.write('
?>');
document.write('
');
document.write('...
');
document.write('
');
document.write('
');
document.write('