ResourceLoader: Move safeFilemtime() to ResourceLoaderModule.
authorTimo Tijhof <ttijhof@wikimedia.org>
Wed, 5 Dec 2012 07:37:48 +0000 (08:37 +0100)
committerTimo Tijhof <ttijhof@wikimedia.org>
Sun, 16 Dec 2012 22:13:04 +0000 (23:13 +0100)
commit799db0b44bc4b1d5212d802016789d8cf77bcc54
tree4702bbe50fb2ac849d6d451535e592511540a9ea
parent436d9dd4a59777471c4eacdfdadb33a0299022d9
ResourceLoader: Move safeFilemtime() to ResourceLoaderModule.

This is a useful method not just for inside and sub classes of
ResourceLoaderFileModule (i.e. it could've been useful in
VisualEditor's ResourceLoaderModule class as well)

Also moved up getTargets() to be in the right section (looking at
the file as a whole).

Change-Id: If696ffbdc5aa7f0a51603bcf9d52adab38b9c686
includes/resourceloader/ResourceLoaderFileModule.php
includes/resourceloader/ResourceLoaderModule.php