From 39b695ab1f0b589408f295ee1960033a7267044e Mon Sep 17 00:00:00 2001 From: Trevor Parscal Date: Tue, 19 Oct 2010 23:02:15 +0000 Subject: [PATCH] Whitespace adjustments --- includes/resourceloader/ResourceLoaderFileModule.php | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/includes/resourceloader/ResourceLoaderFileModule.php b/includes/resourceloader/ResourceLoaderFileModule.php index 0fc3a1d227..54811a4d89 100644 --- a/includes/resourceloader/ResourceLoaderFileModule.php +++ b/includes/resourceloader/ResourceLoaderFileModule.php @@ -28,7 +28,7 @@ defined( 'MEDIAWIKI' ) || die( 1 ); class ResourceLoaderFileModule extends ResourceLoaderModule { /* Protected Members */ - + /** @var {array} List of paths to JavaScript files to always include */ protected $scripts = array(); /** @var {array} List of paths to JavaScript files to include when using specific languages */ @@ -309,7 +309,7 @@ class ResourceLoaderFileModule extends ResourceLoaderModule { /** * Gets a list of element that match a key, optionally using a fallback key - * + * * @param {array} $map Map of lists to select from * @param {string} $key Key to look for in $map * @param {string} $fallback Key to look for in map if $key is not in $map @@ -399,5 +399,4 @@ class ResourceLoaderFileModule extends ResourceLoaderModule { return "$IP/$path"; } - } -- 2.20.1