From e9ae8b0e0dd4a5b9d152016925dc281a8104d1ac Mon Sep 17 00:00:00 2001
From: Keegan McAllister <keegan@humbughq.com>
Date: Tue, 4 Sep 2012 20:50:34 -0400
Subject: [PATCH] Remove obsolete wiki user script

Replaced by server-side config.

(imported from commit 54b749e37955111439da5e27a2233ff596214971)
---
 tools/wiki-user-script.user.js | 19 -------------------
 1 file changed, 19 deletions(-)
 delete mode 100644 tools/wiki-user-script.user.js

diff --git a/tools/wiki-user-script.user.js b/tools/wiki-user-script.user.js
deleted file mode 100644
index ad80a5cc1d..0000000000
--- a/tools/wiki-user-script.user.js
+++ /dev/null
@@ -1,19 +0,0 @@
-// ==UserScript==
-// @match https://wiki.humbughq.com/*
-// ==/UserScript==
-
-// Sets a default commit message when editing the Humbug wiki.
-//
-// To install in Chromium 21:
-//   - Close all Chromium windows
-//   - Run chromium --enable-easy-off-store-extension-install
-//   - Navigate to this directory and click the link to this file.
-//
-// May also work in Firefox with Greasemonkey.
-
-(function () {
-    var elem = document.getElementById("logMsg");
-    if (elem != null) {
-        elem.value = "(default commit message)";
-    }
-})();