Remove duplicate files, no point in loading them twice
authorjeroendedauw <jeroendedauw@gmail.com>
Sun, 21 Oct 2012 21:06:00 +0000 (23:06 +0200)
committerjeroendedauw <jeroendedauw@gmail.com>
Sun, 21 Oct 2012 21:06:00 +0000 (23:06 +0200)
commit11feec4c563cf6c992006510f7fe67050c3ffd7b
treeda4b2ae6aeebb8ace13601307ca015b9ff8215ca
parentd7562b948c15144efdcfd8f47953c239aca2c6af
Remove duplicate files, no point in loading them twice

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