From e3aa3c3dc57eb3880ca09f164e838a08281b7714 Mon Sep 17 00:00:00 2001 From: umherirrender Date: Fri, 19 Jul 2013 20:04:53 +0200 Subject: [PATCH] Improve documentation for $wgRecentChangesFlags Change-Id: If11461942462f48921a27d291c1bf383bc488a28 --- includes/DefaultSettings.php | 15 +++++++++++---- 1 file changed, 11 insertions(+), 4 deletions(-) diff --git a/includes/DefaultSettings.php b/includes/DefaultSettings.php index 15f6987939..9264610e22 100644 --- a/includes/DefaultSettings.php +++ b/includes/DefaultSettings.php @@ -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 */ -- 2.20.1