Manuel:$wgRecentChangesFlags
Appearance
Dernières modifications, nouvelles pages, liste de suivi et historique: $wgRecentChangesFlags | |
---|---|
Flags (symboles de lettres) montrés dans les changements récents et dans des listes de surveillances pour indiquer certains types de modifications. |
|
Introduit dans la version : | 1.22.0 (Gerrit change 66038; git #bb0ab45e) |
Retiré dans la version : | Encore utilisé |
Valeurs autorisées : | (tableau) |
Valeur par défaut : | (voir ci-dessous) |
Autres paramètres : Alphabétique | Par fonction |
Détails
Permettre la modifications de flags sur Special:RecentChanges, Special:Watchlist et Special:RecentChangesLinked.
- La clé 'lettre' est un message, qui est utilisé comme le texte du
abbr
. - La clé 'lettre' est un message, qui est utilisé comme le texte du
abbr
. - La clé optionnelle 'classe' permet de définir une classe CSS différente du nom de flag.
- La clé optionnelle 'grouping' permet de définir comment le flag prioritaire est déterminé.
- 'any' va définir le flag prioritaire si une ligne contient le flag.
- 'all' ne sera défini que si toutes les lignes contiennent le 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' ),
);