jenkins-bot has submitted this change and it was merged.
Change subject: Use getPrefixedDBkey() for template profile call.
......................................................................
Use getPrefixedDBkey() for template profile call.
Change-Id: Iac5183635984aa9261c1e85e32f6bb173ec513ae
---
M includes/parser/Parser.php
1 file changed, 1 insertion(+), 1 deletion(-)
Approvals:
Demon: Looks good to me, approved
jenkins-bot: Verified
diff --git a/includes/parser/Parser.php b/includes/parser/Parser.php
index 840e174..28cde7f 100644
--- a/includes/parser/Parser.php
+++ b/includes/parser/Parser.php
@@ -3323,7 +3323,7 @@
if ( !$found && $title ) {
if ( !Profiler::instance()->isPersistent() ) {
# Too many unique items can kill profiling
DBs/collectors
- $titleProfileIn = __METHOD__ . "-title-" .
$title->getDBkey();
+ $titleProfileIn = __METHOD__ . "-title-" .
$title->getPrefixedDBkey();
wfProfileIn( $titleProfileIn ); // template in
}
wfProfileIn( __METHOD__ . '-loadtpl' );
--
To view, visit https://gerrit.wikimedia.org/r/67470
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Iac5183635984aa9261c1e85e32f6bb173ec513ae
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/core
Gerrit-Branch: master
Gerrit-Owner: Aaron Schulz <[email protected]>
Gerrit-Reviewer: Daniel Friesen <[email protected]>
Gerrit-Reviewer: Demon <[email protected]>
Gerrit-Reviewer: jenkins-bot
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
