diff options
| author | Teddy Wing | 2020-03-22 16:29:27 +0100 |
|---|---|---|
| committer | Teddy Wing | 2020-03-22 16:29:27 +0100 |
| commit | 024fcf1a943b403c3d25c636f1a379c5bc3d28c8 (patch) | |
| tree | 39c584db925d632b84c0833f6c6005fe346347fe | |
| parent | b4ce866006e835e55f91426e2957d1ec24b72e91 (diff) | |
| download | godoc-links-024fcf1a943b403c3d25c636f1a379c5bc3d28c8.tar.bz2 | |
Add a UserScript header
| -rw-r--r-- | godoc-links.user.js | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/godoc-links.user.js b/godoc-links.user.js index 0543fc4..8f92fc5 100644 --- a/godoc-links.user.js +++ b/godoc-links.user.js @@ -1,3 +1,12 @@ +// ==UserScript== +// @name GoDoc Links +// @description Add GoDoc documentation links to relevant pages +// @namespace com.teddywing +// @match https://godoc.org/* +// @match https://pkg.go.dev/* +// @match https://github.com/* +// ==/UserScript== + function init () { switch (window.location.hostname) { case 'godoc.org': |