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)
Change-Id: I52df1ee1cfeda240e8546fa303b65116183d09e7

includes/resourceloader/ResourceLoaderFileModule.php

index db4c758..ffa3046 100644 (file)
@@ -532,7 +532,8 @@ class ResourceLoaderFileModule extends ResourceLoaderModule {
                if ( $context->getDebug() ) {
                        $files = array_merge( $files, $this->debugScripts );
                }
-               return $files;
+
+               return array_unique( $files );
        }
 
        /**