Go to file
libraryupgrader d4f3d6b500 build: Updating eslint-config-wikimedia to 0.25.0
Change-Id: Ief23a4692d10c190c5b18a20c5e71de5ce083a01
2023-05-05 10:48:57 +00:00
.phan Fix phan stubs 2021-10-21 21:43:16 +01:00
i18n Localisation updates from https://translatewiki.net. 2023-04-24 09:17:09 +02:00
maintenance Merge "Use single quotes instead of double quotes in PHP" 2022-11-17 20:10:31 +00:00
resources Change CSS identifiers 2021-09-08 11:53:43 +00:00
src Remove fixed @todo FIXME 2023-04-19 19:38:21 +00:00
.eslintrc.json build: Updating mediawiki/mediawiki-codesniffer to 33.0.0 2020-11-04 16:53:49 +00:00
.gitignore build: Updating dependencies 2019-08-03 04:41:58 +00:00
.gitreview Whoops, track not trace 2016-10-24 17:03:28 -07:00
.phpcs.xml build: Updating mediawiki/mediawiki-codesniffer to 41.0.0 2023-03-12 09:15:50 +00:00
.stylelintrc.json Change CSS identifiers 2021-09-08 11:53:43 +00:00
composer.json build: Updating dependencies 2023-04-29 09:48:29 +00:00
COPYING Provide tiny tweaks 2016-03-10 14:27:51 +01:00
extension.json Inject service JobQueueGroup 2023-04-07 09:59:17 +00:00
Gruntfile.js build: Remove syntax option from stylelint 2022-10-27 00:13:14 +02:00
package-lock.json build: Updating eslint-config-wikimedia to 0.25.0 2023-05-05 10:48:57 +00:00
package.json build: Updating eslint-config-wikimedia to 0.25.0 2023-05-05 10:48:57 +00:00
README Don't add a link to Special:ReplaceText if the user has no permission 2023-01-19 22:59:43 +00:00
ReplaceText.i18n.alias.php ReplaceText: Special page aliases should not store in zh 2023-03-22 12:22:26 +00:00

Replace Text Extension

        Version 1.7
        Yaron Koren, Niklas Laxström and others

This is free software licenced under the GNU General Public Licence. Please
see https://www.gnu.org/copyleft/gpl.html for further details, including the
full text and terms of the licence.

== Overview ==

Replace Text is an extension to MediaWiki that creates a new special page,
Special:ReplaceText, available to anyone who has the 'replacetext'
privilege, that does a text find-and-replace on all pages in the wiki,
selectable by namespace. Both the contents of pages and their titles can be
modified. The search is case-sensitive.

Since the replacement is not undoable, if the replacement string is
blank or a string that is already contained in the wiki, the 'ReplaceText'
page prompts the user to confirm the replacement before it is performed.

Each replacement shows up as a wiki edit, with the administrator who
performed the replacement appearing as the user and an edit summary that
looks like "Text replacement: 'search string' to 'replacement string'".

For more information, see the extension homepage at:
https://www.mediawiki.org/wiki/Extension:Replace_Text

== Requirements ==

This version of the Replace Text extension requires MediaWiki 1.32 or higher.

== Installation ==

To install the extension, place the entire 'ReplaceText' directory within
your MediaWiki 'extensions' directory, then add the following line to your
'LocalSettings.php' file:

     wfLoadExtension( 'ReplaceText' );

In order to perform replacements, you must have the 'replacetext' permission;
if you are an administrator on your wiki, the easiest way to do this is to
also add the following line:

     $wgGroupPermissions['sysop']['replacetext'] = true;

== Contact ==

Comments, questions, suggestions and bug reports are welcome, and can
be placed on the Talk page for the extension, or sent to Yaron at
yaron57@gmail.com.