"Johnduhart" posted a comment on MediaWiki.r107861. URL: http://www.mediawiki.org/wiki/Special:Code/MediaWiki/107861#c28825
Commit summary for MediaWiki.r107861: Using wfTime in place of microtime Johnduhart's comment: And just call microtime directly? _______________________________________________ MediaWiki-CodeReview mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-codereview
