<'.'/script>'; } else { user_error("Unknown file:'$localPath'"); exit; } } load_js('test.js'); load_js('there-is-no-such-file.js'); ?> ...