Remove unused hg extensions.
author |
Steve Losh <steve@stevelosh.com> |
date |
Thu, 22 Sep 2011 16:33:32 -0400 |
parents |
dbda09a75160 |
children |
103cee398cc5 |
$(function() {
var css = ".vspib, .vspb, .vspi {display: none;} #vspb {display: none;}";
if (typeof GM_addStyle != "undefined") {
GM_addStyle(css);
} else if (typeof PRO_addStyle != "undefined") {
PRO_addStyle(css);
} else if (typeof addStyle != "undefined") {
addStyle(css);
} else {
var heads = document.getElementsByTagName("head");
if (heads.length > 0) {
var node = document.createElement("style");
node.type = "text/css";
node.appendChild(document.createTextNode(css));
heads[0].appendChild(node);
}
}
})();