Convert timing to ms before we've recorded too much data
authorMax Semenik <maxsem.wiki@gmail.com>
Thu, 10 Mar 2016 23:03:48 +0000 (15:03 -0800)
committerMax Semenik <maxsem.wiki@gmail.com>
Thu, 10 Mar 2016 23:03:48 +0000 (15:03 -0800)
commitedf78898216aa7811dc6c35e78a6a6360862f7b0
tree73ef2d56ed61b397711bb8204009131e1588fa9a
parent41e63e71e8132d6c95ae7debe9b872af0de2e62c
Convert timing to ms before we've recorded too much data

Change-Id: I0a4e18290cdc662e597484a94205a481415cbb7b
includes/diff/DifferenceEngine.php