Improve documentation for $wgRecentChangesFlags
authorumherirrender <umherirrender_de.wp@web.de>
Fri, 19 Jul 2013 18:04:53 +0000 (20:04 +0200)
committerNiklas Laxström <niklas.laxstrom@gmail.com>
Sun, 28 Jul 2013 21:00:18 +0000 (21:00 +0000)
Change-Id: If11461942462f48921a27d291c1bf383bc488a28

includes/DefaultSettings.php

index 15f6987..9264610 100644 (file)
@@ -5224,11 +5224,18 @@ $wgUseTagFilter = true;
 $wgUnwatchedPageThreshold = false;
 
 /**
- * Recent changes flag, shown in Recentchanges and watchlist
+ * Flags (letter symbols) shown in recent changes and watchlist to indicate
+ * certain types of edits.
  *
- * Adding a new one:
- *   $wgRecentChangesFlags['flag'] => array( 'letter-msg', 'tooltip-msg' );
- * 'class' allows to set a css class different than the flag name
+ * To register a new one:
+ * @code
+ * $wgRecentChangesFlags['flag'] => array(
+ *   'letter' => 'letter-msg',
+ *   'title' => 'tooltip-msg'
+ * );
+ * @endcode
+ *
+ * Optional 'class' allows to set a css class different than the flag name.
  *
  * @since 1.22
  */