Go to file
Umherirrender d29dfaf188 build: Remove syntax option from stylelint
Error: The "syntax" option is no longer available. You should install an
appropriate syntax, e.g. postcss-scss, and use the "customSyntax" option

Change-Id: I43a39d8238143e02e9ba3ba2ee3652a63d3d6921
2022-10-27 00:13:14 +02:00
.phan Fix phan stubs 2021-10-21 21:43:16 +01:00
i18n Localisation updates from https://translatewiki.net. 2022-10-19 08:20:41 +02:00
maintenance Simplify loops over array_keys 2022-10-23 10:31:07 +00:00
resources Change CSS identifiers 2021-09-08 11:53:43 +00:00
src Use short array destructuring instead of list() 2022-10-23 08:39:26 +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 Provide phan with stubs for AL* classes 2021-04-07 22:14:44 -04:00
.stylelintrc.json Change CSS identifiers 2021-09-08 11:53:43 +00:00
composer.json Update mediawiki/mediawiki-phan-config to 0.11.1 2022-08-02 02:02:03 +01:00
COPYING Provide tiny tweaks 2016-03-10 14:27:51 +01:00
extension.json SpecialReplaceText: Inject services 2022-09-08 10:36:02 +00:00
Gruntfile.js build: Remove syntax option from stylelint 2022-10-27 00:13:14 +02:00
package-lock.json build: Updating ansi-regex to 5.0.1 2021-10-05 21:53:19 +00:00
package.json build: Updating stylelint-config-wikimedia to 0.11.1 2021-09-04 21:51:10 +00:00
README Use https://www.gnu.org/ instead of http://www.gnu.org/ 2022-09-12 19:13:23 +00:00
ReplaceText.i18n.alias.php Remove LEFT-TO-RIGHT MARK (U+200E) from source code 2021-07-01 20:43:51 +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' permssion;
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.