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

Simplified addition

Browse source
This commit is contained in:
Yaron Koren 2009-08-14 17:21:55 +00:00
parent 1d15ce0f4c
commit 2b19883967
Notes: Yaron Koren 2009-08-14 17:21:55 +00:00 
https://mediawiki.org/wiki/Special:Code/MediaWiki/55029
1 changed files with 3 additions and 5 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

8
ReplaceTextJob.php
View file

@ -64,11 +64,9 @@ class ReplaceTextJob extends Job {
$actual_user = $wgUser; $actual_user = $wgUser;
$wgUser = User::newFromId( $this->params['user_id'] ); $wgUser = User::newFromId( $this->params['user_id'] );
$edit_summary = $this->params['edit_summary']; $edit_summary = $this->params['edit_summary'];
if ($wgUser->isAllowed('bot')) { $flags = EDIT_MINOR;
$flags = EDIT_MINOR | EDIT_FORCE_BOT; if ($wgUser->isAllowed('bot'))
} else { $flags |= EDIT_FORCE_BOT;
$flags = EDIT_MINOR;
}
$article->doEdit( $new_text, $edit_summary, $flags ); $article->doEdit( $new_text, $edit_summary, $flags );
$wgUser = $actual_user; $wgUser = $actual_user;
} }