mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/ReplaceText
synced 2024-11-30 17:34:14 +00:00
19da42d081
Change-Id: I3e14d127cdf63ad4bbff9fcc0a165cc1a0552831
74 lines
2.7 KiB
PHP
74 lines
2.7 KiB
PHP
<?php
|
|
/**
|
|
* Replace Text - a MediaWiki extension that provides a special page to
|
|
* allow administrators to do a global string find-and-replace on all the
|
|
* content pages of a wiki.
|
|
*
|
|
* https://www.mediawiki.org/wiki/Extension:Replace_Text
|
|
*
|
|
* The special page created is 'Special:ReplaceText', and it provides
|
|
* a form to do a global search-and-replace, with the changes to every
|
|
* page showing up as a wiki edit, with the administrator who performed
|
|
* the replacement as the user, and an edit summary that looks like
|
|
* "Text replace: 'search string' * to 'replacement string'".
|
|
*
|
|
* If the replacement string is blank, or is already found in the wiki,
|
|
* the page provides a warning prompt to the user before doing the
|
|
* replacement, since it is not easily reversible.
|
|
*/
|
|
|
|
if ( function_exists( 'wfLoadExtension' ) ) {
|
|
wfLoadExtension( 'ReplaceText' );
|
|
// Keep i18n globals so mergeMessageFileList.php doesn't break
|
|
$wgMessagesDirs['ReplaceText'] = __DIR__ . '/i18n';
|
|
$wgExtensionMessagesFiles['ReplaceTextAlias'] = __DIR__ . '/ReplaceText.i18n.alias.php';
|
|
wfWarn(
|
|
'Deprecated PHP entry point used for Replace Text extension. ' .
|
|
'Please use wfLoadExtension instead, ' .
|
|
'see https://www.mediawiki.org/wiki/Extension_registration for more details.'
|
|
);
|
|
return;
|
|
}
|
|
|
|
if ( !defined( 'MEDIAWIKI' ) ) {
|
|
die();
|
|
}
|
|
|
|
define( 'REPLACE_TEXT_VERSION', '1.4.1' );
|
|
|
|
// credits
|
|
$wgExtensionCredits['specialpage'][] = [
|
|
'path' => __FILE__,
|
|
'name' => 'Replace Text',
|
|
'version' => REPLACE_TEXT_VERSION,
|
|
'author' => [ 'Yaron Koren', 'Niklas Laxström', '...' ],
|
|
'url' => 'https://www.mediawiki.org/wiki/Extension:Replace_Text',
|
|
'descriptionmsg' => 'replacetext-desc',
|
|
'license-name' => 'GPL-2.0-or-later'
|
|
];
|
|
|
|
$wgMessagesDirs['ReplaceText'] = __DIR__ . '/i18n';
|
|
$wgExtensionMessagesFiles['ReplaceTextAlias'] = __DIR__ . '/ReplaceText.i18n.alias.php';
|
|
$wgJobClasses['replaceText'] = 'ReplaceTextJob';
|
|
|
|
// This extension uses its own permission type, 'replacetext'
|
|
$wgAvailableRights[] = 'replacetext';
|
|
$wgGroupPermissions['sysop']['replacetext'] = true;
|
|
|
|
$wgHooks['AdminLinks'][] = 'ReplaceTextHooks::addToAdminLinks';
|
|
|
|
$wgSpecialPages['ReplaceText'] = 'SpecialReplaceText';
|
|
$wgAutoloadClasses['ReplaceTextHooks'] = __DIR__ . '/src/ReplaceTextHooks.php';
|
|
$wgAutoloadClasses['SpecialReplaceText'] = __DIR__ . '/src/SpecialReplaceText.php';
|
|
$wgAutoloadClasses['ReplaceTextJob'] = __DIR__ . '/src/ReplaceTextJob.php';
|
|
$wgAutoloadClasses['ReplaceTextSearch'] = __DIR__ . '/src/ReplaceTextSearch.php';
|
|
|
|
$wgResourceModules['ext.ReplaceText'] = [
|
|
'scripts' => 'ext.ReplaceText.js',
|
|
'localBasePath' => 'resources',
|
|
'remoteExtPath' => 'ReplaceText/resources',
|
|
];
|
|
|
|
// Global variables
|
|
$wgReplaceTextUser = null;
|