wikimedia/mediawiki-extensions-ReplaceText
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/ReplaceText synced 2024-11-15 10:59:28 +00:00
Code Issues Packages Projects Releases Wiki Activity

Changed "text replace" to the more grammatical "text replacement"

Browse source 
This had been bothering me for a long time - I should have fixed it long ago.

Change-Id: I36ea3fe5ea94cfe6514b18dd030459309987c423
This commit is contained in:
yaron 2013-06-28 06:20:31 +04:00
parent 10fcb53632
commit 353b875a38
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
ReplaceText.i18n.php
View file

@ -47,7 +47,7 @@ Your name will appear in page histories as the user responsible for any changes.
'replacetext_blankwarning' => "'''Warning:''' Because the replacement string is blank, this operation will not be reversible.",
'replacetext_continue' => 'Continue',
// content messages
'replacetext_editsummary' => 'Text replace - "$1" to "$2"',
'replacetext_editsummary' => 'Text replacement - "$1" to "$2"',
'right-replacetext' => 'Make string replacements on the entire wiki',
'action-replacetext' => 'make string replacements on the entire wiki',
);