Ori.livneh has uploaded a new change for review. https://gerrit.wikimedia.org/r/258894
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(+), 20 deletions(-) git pull ssh://gerrit.wikimedia.org:29418/mediawiki/core refs/changes/94/258894/1 diff --git a/includes/GlobalFunctions.php b/includes/GlobalFunctions.php index e705dd6..637daf5 100644 --- a/includes/GlobalFunctions.php +++ b/includes/GlobalFunctions.php @@ -1095,26 +1095,6 @@ } /** - * 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 "; -} - -/** * Send a line giving PHP memory usage. * * @param bool $exact Print exact byte values instead of kibibytes (default: false) -- To view, visit https://gerrit.wikimedia.org/r/258894 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: newchange Gerrit-Change-Id: I7b6516f82344f98aaec04bc3af3c208b63169a77 Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/core Gerrit-Branch: master Gerrit-Owner: Ori.livneh <[email protected]> _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
