Can someone explain the purpose of the docket.xml files and the digest attribute of each <file> node? It looks like a checksum. If the file located at the path attribute does not match the value of the digest attribute, is that file igonred when processing web requests? Example is below. Thanks.
<file path="base/widget/tree/images/IcExpanded.png" mtime="1386297420" size="132" digest="58a7d8c35706c87a80d9a8712bf6a819"/>