resourceloader: Cut down on file stat time in safeFilemtime()
authorAaron Schulz <aschulz@wikimedia.org>
Tue, 31 Mar 2015 07:59:40 +0000 (00:59 -0700)
committerBryanDavis <bdavis@wikimedia.org>
Tue, 31 Mar 2015 17:10:57 +0000 (17:10 +0000)
commit3897868db104b88f70569a22613829031fa64f5c
tree9c40aff0def3d3a9c2a5eec45cbd0f00d57e693e
parentf772fc34e5862d170c657b30888f6314b0d0c926
resourceloader: Cut down on file stat time in safeFilemtime()

* If stat cache is not enabled, this used to do two queries.

Change-Id: Icfed675b27f952ec13b9d0af3e345b1486ea7c8f
includes/resourceloader/ResourceLoaderModule.php