From d81ad1041f409ad3ae082ef2d5e19efff109cb2b Mon Sep 17 00:00:00 2001
From: Erik Moeller <erik@users.mediawiki.org>
Date: Sat, 2 Jul 2005 12:12:12 +0000
Subject: [PATCH] 3 strings for inputbox extension, which might also be useful
 in other contexts

---
 languages/Language.php | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/languages/Language.php b/languages/Language.php
index 971ff74f9b..5289fe458c 100644
--- a/languages/Language.php
+++ b/languages/Language.php
@@ -2114,6 +2114,11 @@ If this is *not* you, don't follow the link. This confirmation code
 will expire at $4.
 ",
 
+# Inputbox extension, may be useful in other contexts as well
+'tryexact' => 'Try exact match',
+'searchfulltext' => 'Search full text',
+'createarticle' => 'Create article',
+
 );
 
 /* a fake language converter */
-- 
2.20.1