Merge "resourceloader: Optimize WikiModule preload for reqs without wiki modules"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 22 Feb 2017 21:55:34 +0000 (21:55 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 22 Feb 2017 21:55:34 +0000 (21:55 +0000)
includes/resourceloader/ResourceLoaderWikiModule.php

index 14d6e05..e8574f4 100644 (file)
@@ -357,6 +357,11 @@ class ResourceLoaderWikiModule extends ResourceLoaderModule {
                        }
                }
 
+               if ( !$wikiModules ) {
+                       // Nothing to preload
+                       return;
+               }
+
                $pageNames = array_keys( $allPages );
                sort( $pageNames );
                $hash = sha1( implode( '|', $pageNames ) );