Fix documentation for $wgRightsText

Change-Id: I6e7b8501241276b91172df7f13dfc7a1227b23a5

diff --git a/includes/DefaultSettings.php b/includes/DefaultSettings.php
index 03dbfb9..27769f9 100644 (file)
--- a/includes/DefaultSettings.php
+++ b/includes/DefaultSettings.php
@@ -7206,7 +7206,7 @@ $wgRightsUrl = null;
 
 /**
  * If either $wgRightsUrl or $wgRightsPage is specified then this variable gives the text for the
- * link.
+ * link. Otherwise, it will be treated as raw HTML.
  * If using $wgRightsUrl then this value must be specified. If using $wgRightsPage then the name
  * of the page will also be used as the link if this variable is not set.
  */