global/focus.js: remove userscript header - firefox-fix-web - Firefox extension: fix web
 (HTM) git clone git://git.codemadness.org/firefox-fix-web
 (DIR) Log
 (DIR) Files
 (DIR) Refs
 (DIR) README
 (DIR) LICENSE
       ---
 (DIR) commit 125774eede81e50c061c09e0c9db512b84ca881a
 (DIR) parent 658fcf04ef29a31af3b6842f412099c0b1a95234
 (HTM) Author: Hiltjo Posthuma <hiltjo@codemadness.org>
       Date:   Tue,  7 Aug 2018 20:30:41 +0200
       
       global/focus.js: remove userscript header
       
       This used to be a (Greasemonkey) userscript of mine. These special headers are
       not needed anymore so remove them.
       
       Diffstat:
         M extension/global/focus.js           |      11 -----------
       
       1 file changed, 0 insertions(+), 11 deletions(-)
       ---
 (DIR) diff --git a/extension/global/focus.js b/extension/global/focus.js
       @@ -1,14 +1,3 @@
       -// ==UserScript==
       -// @name        Input focus
       -// @namespace   -
       -// @description Input focus
       -// @version     1.1
       -// @grant       none
       -// ==/UserScript==
       -//
       -// 1.1
       -// - added toggle to blur field (ctrl+space).
       -//
        (function() {
                function hasfocus(el) {
                        return el === document.activeElement;