From: Felix Kästner <git@fpunktk.de>
Date: Tue, 30 Jun 2015 16:32:28 +0000 (+0200)
Subject: change gpg search engine
X-Git-Url: https://fpunktk.de/gitweb/?a=commitdiff_plain;h=efd7e92fc2f52dc157359b99f471be8b8defeeda;p=consearch.git

change gpg search engine
---

diff --git a/index.php b/index.php
index bc0de0c..107cff3 100644
--- a/index.php
+++ b/index.php
@@ -161,7 +161,7 @@ se["gh"] = ["github", "https://github.com/search?utf8=✓&q=", ""];
 se["bb"] = ["bing", "https://www.bing.com/search?q=", ""];
 se["mdn"] = ["mdn", "https://developer.mozilla.org/search?q=", ""];
 se["ctan"] = ["ctan", "http://ctan.org/search/?phrase=", ""];
-se["gpg"] = ["gpg_key", "https://pgp.mit.edu/pks/lookup?op=index&fingerprint=on&search=", ""];
+se["gpg"] = ["gpg_mit", "https://pgp.mit.edu/pks/lookup?op=index&fingerprint=on&search=", ""];
 se["gsm"] = ["gsm", "http://www.gsmarena.com/results.php3?sQuickSearch=yes&sName=", ""];
 
 function display_searchbuttons() {