3 strings for inputbox extension, which might also be useful in other
authorErik Moeller <erik@users.mediawiki.org>
Sat, 2 Jul 2005 12:12:12 +0000 (12:12 +0000)
committerErik Moeller <erik@users.mediawiki.org>
Sat, 2 Jul 2005 12:12:12 +0000 (12:12 +0000)
commitd81ad1041f409ad3ae082ef2d5e19efff109cb2b
treec33e68fa3dd201ecdb587e1c5a298a498431465d
parentb59bacc74eb456e074cc51b30d5b700c2ae973ca
3 strings for inputbox extension, which might also be useful in other
contexts
languages/Language.php