wikimedia/mediawiki-extensions-InputBox
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/InputBox synced 2024-11-15 03:04:52 +00:00
Code Issues Packages Projects Releases Wiki Activity

Whoops, forgot to update messages with new type.

Browse source
This commit is contained in:
Robert Stojnić 2009-01-01 01:02:48 +00:00
parent ecbb8ed97c
commit 226f5c0acf
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
InputBox.i18n.php
View file

@ -17,7 +17,7 @@ $messages['en'] = array(
'inputbox-desc' => 'Allow inclusion of predefined HTML forms',
'inputbox-error-no-type' => 'You have not specified the type of input box to create.',
'inputbox-error-bad-type' => 'Input box type "$1" not recognised.
Please specify "create", "comment", "search" or "search2".',
Please specify "create", "comment", "search", "search2" or "fulltext".',
'tryexact' => 'Try exact match',
'searchfulltext' => 'Search full text',
'createarticle' => 'Create page',