function addLABjs(callback) {
var script = document.createElement("script");
script.setAttribute("src", "YourOtherScript.js");
script.addEventListener('load', function () {
var script = document.createElement("script");
script.textContent = "(" + callback.toString() + ")();";
document.body.appendChild(script);
}, false);
document.body.appendChild(script);
}
// the guts of this userscript
function main() {
$LAB.script("YourOtherScript.js").wait()
.script("YourOtherScript.js")
.script("YourOtherScript.js").wait();
$(document).ready(function () {
});
}
addLABjs(main);