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

wfProfileOut in proper code part

Browse source
This commit is contained in:
Siebrand Mazeland 2009-12-31 18:08:24 +00:00
parent 768c60d3d1
commit 9db23c573b
Notes: Siebrand Mazeland 2009-12-31 18:08:24 +00:00 
https://mediawiki.org/wiki/Special:Code/MediaWiki/60524
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
ReplaceTextJob.php
View file

@ -70,8 +70,8 @@ class ReplaceTextJob extends Job {
$article->doEdit( $new_text, $edit_summary, $flags );
$wgUser = $actual_user;
}
wfProfileOut( __METHOD__ . '-replace' );
}
wfProfileOut( __METHOD__ . '-replace' );
wfProfileOut( __METHOD__ );
return true;
}