"^demon" changed the status of MediaWiki.r108967 to "ok" URL: http://www.mediawiki.org/wiki/Special:Code/MediaWiki/108967
Old status: new > New status: ok Commit summary for MediaWiki.r108967: * Fix Profiler::getUserTime() to return a float and not string with space separated values since, was breaking difference calculation since PHP doesn't know how to make the difference of two strings :P * Same when adding fake items in the stack after a profiling error * Removed useless ProfilerSimple::getTime() _______________________________________________ MediaWiki-CodeReview mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-codereview
