secret
Created

  • Download Gist
reload-tree.user.js
JavaScript
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20
// ==UserScript==
// @name Tree Reloader
// @namespace tree-reloader
// @description Reloads the tree
// @match http://build.chromium.org/*
// @match https://build.chromium.org/*
// @match http://chromegw.corp.google.com/*
// @match https://chromegw.corp.google.com/*
// @match http://chromium-build.appspot.com/*
// @match https://chromium-build.appspot.com/*
// @version 0.1
// ==/UserScript==
 
(function(window) {
if (/[&?]reload=(\d+)/.test(window.location.search)) {
window.setTimeout(function() {
window.location.reload();
}, window.parseInt(RegExp.$1, 10) * 1000);
}
}(unsafeWindow));

Please sign in to comment on this gist.

Something went wrong with that request. Please try again.