Manual:$wgRecentChangesFlags/fr

From mediawiki.org
This page is a translated version of the page Manual:$wgRecentChangesFlags and the translation is 29% complete.
Dernières modifications, nouvelles pages, liste de suivi et historique: $wgRecentChangesFlags
Flags (letter symbols) shown in recent changes and watchlist to indicate certain types of edits.
Introduit dans la version :1.22.0 (Gerrit change 66038; git #bb0ab45e)
Retiré dans la version :Encore utilisé
Valeurs autorisées :(array)
Valeur par défaut :(voir ci-dessous)

Détails

  • The 'letter' key is a message, which is used as text of the abbr.
  • The 'title' key is a message, which is used as title attribute of the abbr.
  • The optional 'class' key allows to set a CSS class different than the flag name.
  • The optional 'grouping' key allows to set how top-level flag is determined.
    • 'any' will set the top-level flag if any line contains the flag.
    • 'all' will only be set if all lines contain the flag.

Valeur par défaut

Version de MediaWiki :
1.27
$wgRecentChangesFlags = [
	'newpage' => [
		'letter' => 'newpageletter',
		'title' => 'recentchanges-label-newpage',
		'legend' => 'recentchanges-legend-newpage',
		'grouping' => 'any',
	],
	'minor' => [
		'letter' => 'minoreditletter',
		'title' => 'recentchanges-label-minor',
		'legend' => 'recentchanges-legend-minor',
		'class' => 'minoredit',
		'grouping' => 'all',
	],
	'bot' => [
		'letter' => 'boteditletter',
		'title' => 'recentchanges-label-bot',
		'legend' => 'recentchanges-legend-bot',
		'class' => 'botedit',
		'grouping' => 'all',
	],
	'unpatrolled' => [
		'letter' => 'unpatrolledletter',
		'title' => 'recentchanges-label-unpatrolled',
		'legend' => 'recentchanges-legend-unpatrolled',
		'grouping' => 'any',
	],
];
Versions de MediaWiki :
1.24 – 1.26
$wgRecentChangesFlags = array(
	'newpage' => array(
		'letter' => 'newpageletter',
		'title' => 'recentchanges-label-newpage',
		'legend' => 'recentchanges-legend-newpage',
	),
	'minor' => array(
		'letter' => 'minoreditletter',
		'title' => 'recentchanges-label-minor',
		'legend' => 'recentchanges-legend-minor',
		'class' => 'minoredit',
	),
	'bot' => array(
		'letter' => 'boteditletter',
		'title' => 'recentchanges-label-bot',
		'legend' => 'recentchanges-legend-bot',
		'class' => 'botedit',
	),
	'unpatrolled' => array(
		'letter' => 'unpatrolledletter',
		'title' => 'recentchanges-label-unpatrolled',
		'legend' => 'recentchanges-legend-unpatrolled',
	),
);
Versions de MediaWiki :
1.22 – 1.23
$wgRecentChangesFlags = array(
	'newpage' => array( 'letter' => 'newpageletter',
		'title' => 'recentchanges-label-newpage' ),
	'minor' => array( 'letter' => 'minoreditletter',
		'title' => 'recentchanges-label-minor', 'class' => 'minoredit' ),
	'bot' => array( 'letter' => 'boteditletter',
		'title' => 'recentchanges-label-bot', 'class' => 'botedit' ),
	'unpatrolled' => array( 'letter' => 'unpatrolledletter',
		'title' => 'recentchanges-label-unpatrolled' ),
);

Voir aussi