Demon has submitted this change and it was merged. Change subject: Remove usage of wfTime() in maintenance ......................................................................
Remove usage of wfTime() in maintenance This function is only a wrapper to microtime( true ), so it can easily be replaced and deprecated at some point. Change-Id: I26f77d3cb02cc517ecf51262a4684084a7ce7825 --- M maintenance/backup.inc M maintenance/backupTextPass.inc M maintenance/cleanupTable.inc M maintenance/dumpIterator.php M maintenance/importDump.php M maintenance/rebuildImages.php M maintenance/renderDump.php M maintenance/upgrade1_5.php 8 files changed, 19 insertions(+), 19 deletions(-) Approvals: Demon: Looks good to me, approved jenkins-bot: Verified -- To view, visit https://gerrit.wikimedia.org/r/22616 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I26f77d3cb02cc517ecf51262a4684084a7ce7825 Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/core Gerrit-Branch: master Gerrit-Owner: IAlex <ialex.w...@gmail.com> Gerrit-Reviewer: Demon <ch...@wikimedia.org> Gerrit-Reviewer: jenkins-bot _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits