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

Fix profiling mistake.

Browse source
This commit is contained in:
Andrew Garrett 2009-02-03 04:57:48 +00:00
parent d35dbd9f50
commit 4f0b501f07
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
Cite_body.php
View file

@ -370,7 +370,7 @@ class Cite {
wfProfileIn( __METHOD__.'-cache-get' );
$ret = $wgMemc->get( $cacheKey );
wfProfileOut( __METHOD__.'-cache' );
wfProfileOut( __METHOD__.'-cache-get' );
if ( !$ret ) {
wfProfileIn( __METHOD__ .'-parse' );