From e261cc8c85d09ce880f45e274f64a67aa6c1f2a7 Mon Sep 17 00:00:00 2001
From: Volker E <volker.e@wikimedia.org>
Date: Tue, 19 Dec 2017 09:27:56 -0800
Subject: [PATCH] Provide an appropriate comment

Let's stay with blue (`#36c`) for something called blue.

Change-Id: I1ebb0909d491f1ecf4d1e5733e7ac6589d28c731
---
 includes/DefaultSettings.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/includes/DefaultSettings.php b/includes/DefaultSettings.php
index e50b7a7db1..2bad0db0b2 100644
--- a/includes/DefaultSettings.php
+++ b/includes/DefaultSettings.php
@@ -3763,7 +3763,7 @@ $wgResourceLoaderValidateStaticJS = false;
  * @code
  *   $wgResourceLoaderLESSVars = [
  *     'exampleFontSize'  => '1em',
- *     'exampleBlue' => '#eee',
+ *     'exampleBlue' => '#36c',
  *   ];
  * @endcode
  * @since 1.22
-- 
2.20.1