| // ==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)); |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment