diff options
author | Teddy Wing | 2020-03-22 15:32:06 +0100 |
---|---|---|
committer | Teddy Wing | 2020-03-22 15:32:06 +0100 |
commit | 5a07b8d04d216653695410aee8d03d2a990e8464 (patch) | |
tree | 7e4625354fdaf287de173a2c51a26f38ce18c251 /godoc-links.user.js | |
parent | bc85d500242705162467af0b5cd0f7cf355e2f7a (diff) | |
download | godoc-links-5a07b8d04d216653695410aee8d03d2a990e8464.tar.bz2 |
github.com: Add a GoDoc link in the header next to the repo name
Diffstat (limited to 'godoc-links.user.js')
-rw-r--r-- | godoc-links.user.js | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/godoc-links.user.js b/godoc-links.user.js index de1fed6..8b7c17a 100644 --- a/godoc-links.user.js +++ b/godoc-links.user.js @@ -24,3 +24,14 @@ function github () { } } } + + +function github_add_godoc_link () { + var github_repo_header_el = document.querySelector('.pagehead.repohead .flex-wrap') + + var container_el = document.createElement('span'); + container_el.className = 'flex-self-stretch'; + var link_el = document.createElement('a'); + link_el.href = ''; + link_el.textContent = '(GoDoc)'; +} |