diff options
Diffstat (limited to 'www/wiki/extensions/ReplaceText/ReplaceText.php')
-rw-r--r-- | www/wiki/extensions/ReplaceText/ReplaceText.php | 73 |
1 files changed, 73 insertions, 0 deletions
diff --git a/www/wiki/extensions/ReplaceText/ReplaceText.php b/www/wiki/extensions/ReplaceText/ReplaceText.php new file mode 100644 index 00000000..dac34b48 --- /dev/null +++ b/www/wiki/extensions/ReplaceText/ReplaceText.php @@ -0,0 +1,73 @@ +<?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; |