Umherirrender has submitted this change and it was merged.
Change subject: Remove obvious function-level profiling
......................................................................
Remove obvious function-level profiling
Change-Id: Ie9c873b7973e293ec21f8e2eadb68d57e6e4d57d
---
M Disambiguator.hooks.php
1 file changed, 0 insertions(+), 3 deletions(-)
Approvals:
Umherirrender: Verified; Looks good to me, approved
diff --git a/Disambiguator.hooks.php b/Disambiguator.hooks.php
index 6d54426..42e9637 100644
--- a/Disambiguator.hooks.php
+++ b/Disambiguator.hooks.php
@@ -60,8 +60,6 @@
* @return int[] The page ids corresponding to pages that are
disambiguations
*/
private static function filterDisambiguationPageIds( array $pageIds ) {
- wfProfileIn( __METHOD__ );
-
// Don't needlessly check non-existent and special pages
$pageIds = array_filter( $pageIds, function ( $id ) { return
$id > 0; } );
@@ -80,7 +78,6 @@
}
}
- wfProfileOut( __METHOD__ );
return $output;
}
--
To view, visit https://gerrit.wikimedia.org/r/189835
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Ie9c873b7973e293ec21f8e2eadb68d57e6e4d57d
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/Disambiguator
Gerrit-Branch: master
Gerrit-Owner: Chad <[email protected]>
Gerrit-Reviewer: Krinkle <[email protected]>
Gerrit-Reviewer: Umherirrender <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
