resourceloader: De-duplicate $files in ResourceLoaderFileModule::getModifiedTime()
authorTimo Tijhof <krinklemail@gmail.com>
Tue, 31 Mar 2015 18:01:15 +0000 (19:01 +0100)
committerTimo Tijhof <krinklemail@gmail.com>
Tue, 31 Mar 2015 18:28:44 +0000 (19:28 +0100)
commit58ecbdb61b3f2b6140ac70e89bbd3342e4bb8aea
treeadc120230dc7a3d5f0618b63c7c36b79bab7dfe0
parent061904a913db144b1d81835b37896cec6a7e5e6d
resourceloader: De-duplicate $files in ResourceLoaderFileModule::getModifiedTime()

lessc::allParsedFiles() always includes the main file we already
know about. As such needlessly causing it to be queried multiple
times.

Change-Id: Icd2c11d93d6491664fcf58a18bfe6e2932689774
includes/resourceloader/ResourceLoaderFileModule.php