Upgrade Blink to milliseconds-based last modified filetimes, part 1.

This is the initial change towards switching Blink and Chromium to
work over milliseconds-based WebFileInfo modification times.

It adds a temporary millisecond-based extra field to WebFileInfo
recording time in milliseconds, alongside the current seconds-based
one.

This is the first patch in the following Blink+Chromium series:

1: [blink] *this one* [ https://codereview.chromium.org/873723004/ ]
2: [chromium] fill in modificationTimeMS [ https://codereview.chromium.org/884413002/ ] 
3: [blink] make use of modificationTimeMS [ https://codereview.chromium.org/884393002/ ]
4: [chromium] set modificationTime to something msec-based [ https://codereview.chromium.org/862203003/ ]
5: [blink] switch to using modificationTime instead of *MS [ https://codereview.chromium.org/882343002/ ]
6: [chromium] stop setting modificationTimeMS [ https://codereview.chromium.org/890523002/ ]
7: [blink] remove modificationTimeMS [ https://codereview.chromium.org/869613005/ ]

R=mkwst,kinuko
BUG=451747

Review URL: https://codereview.chromium.org/873723004

git-svn-id: svn://svn.chromium.org/blink/trunk@189238 bbb929c8-8fbe-4397-9dbb-9b2b20218538
1 file changed
tree: 1bc175aa3c677f98a397fab3d253b4eb16604384
  1. third_party/