Provide an appropriate comment

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

Change-Id: I1ebb0909d491f1ecf4d1e5733e7ac6589d28c731

diff --git a/includes/DefaultSettings.php b/includes/DefaultSettings.php
index e50b7a7..2bad0db 100644 (file)
--- a/includes/DefaultSettings.php
+++ b/includes/DefaultSettings.php
@@ -3763,7 +3763,7 @@ $wgResourceLoaderValidateStaticJS = false;
  * @code
  *   $wgResourceLoaderLESSVars = [
  *     'exampleFontSize'  => '1em',
  * @code
  *   $wgResourceLoaderLESSVars = [
  *     'exampleFontSize'  => '1em',

- *     'exampleBlue' => '#eee',
+ *     'exampleBlue' => '#36c',

  *   ];
  * @endcode
  * @since 1.22
  *   ];
  * @endcode
  * @since 1.22