From 024fcf1a943b403c3d25c636f1a379c5bc3d28c8 Mon Sep 17 00:00:00 2001
From: Teddy Wing
Date: Sun, 22 Mar 2020 16:29:27 +0100
Subject: Add a UserScript header

---
 godoc-links.user.js | 9 +++++++++
 1 file changed, 9 insertions(+)

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':
-- 
cgit v1.2.3