jenkins-bot has submitted this change and it was merged. Change subject: Remove wfDebugTimer(), deprecated in 1.25 ......................................................................
Remove wfDebugTimer(), deprecated in 1.25 No remaining usage: https://github.com/search?utf8=%E2%9C%93&q=%40wikimedia+wfDebugTimer&type=Code&ref=searchresults Change-Id: I7b6516f82344f98aaec04bc3af3c208b63169a77 --- M includes/GlobalFunctions.php 1 file changed, 0 insertions(+), 21 deletions(-) Approvals: Reedy: Looks good to me, approved jenkins-bot: Verified diff --git a/includes/GlobalFunctions.php b/includes/GlobalFunctions.php index e705dd6..1a3ac48 100644 --- a/includes/GlobalFunctions.php +++ b/includes/GlobalFunctions.php @@ -1051,7 +1051,6 @@ $text = trim( $text ); - // Inline logic from deprecated wfDebugTimer() if ( $wgDebugTimestamps ) { $context['seconds_elapsed'] = sprintf( '%6.4f', @@ -1092,26 +1091,6 @@ $cache = false; } return $cache; -} - -/** - * Get microsecond timestamps for debug logs - * - * @deprecated since 1.25 - * @return string - */ -function wfDebugTimer() { - global $wgDebugTimestamps, $wgRequestTime; - - wfDeprecated( __METHOD__, '1.25' ); - - if ( !$wgDebugTimestamps ) { - return ''; - } - - $prefix = sprintf( "%6.4f", microtime( true ) - $wgRequestTime ); - $mem = sprintf( "%5.1fM", ( memory_get_usage( true ) / ( 1024 * 1024 ) ) ); - return "$prefix $mem "; } /** -- To view, visit https://gerrit.wikimedia.org/r/258894 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I7b6516f82344f98aaec04bc3af3c208b63169a77 Gerrit-PatchSet: 2 Gerrit-Project: mediawiki/core Gerrit-Branch: master Gerrit-Owner: Ori.livneh <[email protected]> Gerrit-Reviewer: Reedy <[email protected]> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
