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

Merge "Don't add a link to Special:ReplaceText if the user has no permission"

Browse source
This commit is contained in:
jenkins-bot 2023-01-27 21:34:02 +00:00 committed by Gerrit Code Review
parent eb35dd8b85 d42d31a89e
commit 9b0f7ff6fe
2 changed files with 4 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
README
View file

@ -38,7 +38,7 @@ your MediaWiki 'extensions' directory, then add the following line to your
wfLoadExtension( 'ReplaceText' );
In order to perform replacements, you must have the 'replacetext' permssion;
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:

3
src/Hooks.php
View file

@ -89,6 +89,9 @@ class Hooks implements
* @param Title $nt Title object of the new article (moved to)
*/
public function onSpecialMovepageAfterMove( $form, $ot, $nt ) {
if ( !$form->getUser()->isAllowed( 'replacetext' ) ) {
return;
}
$out = $form->getOutput();
$page = $this->specialPageFactory->getPage( 'ReplaceText' );
$pageLink = $form->getLinkRenderer()->makeLink( $page->getPageTitle() );