diff options
| author | jenkins-bot <jenkins-bot@gerrit.wikimedia.org> | 2017-10-04 20:58:42 +0000 |
|---|---|---|
| committer | Gerrit Code Review <gerrit@wikimedia.org> | 2017-10-04 20:58:42 +0000 |
| commit | 7d8766e80e670e9e408a25694ed5d24975b63864 (patch) | |
| tree | bd72a2a4c69a057c1e96ae1508b9b3ff9d682a18 /includes/changes | |
| parent | 3374d9e6007794e7239a9256b2a7bf993f76f300 (diff) | |
| parent | 8937a72df713921e1287042feb610c4ded253f1e (diff) | |
| download | mediawikicore-7d8766e80e670e9e408a25694ed5d24975b63864.tar.gz mediawikicore-7d8766e80e670e9e408a25694ed5d24975b63864.zip | |
Merge "RCFilters: Allows specifying default highlights from the server"
Diffstat (limited to 'includes/changes')
| -rw-r--r-- | includes/changes/ChangesListFilter.php | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/includes/changes/ChangesListFilter.php b/includes/changes/ChangesListFilter.php index 2fc1006ed72f..2546f2ba827e 100644 --- a/includes/changes/ChangesListFilter.php +++ b/includes/changes/ChangesListFilter.php @@ -103,6 +103,12 @@ abstract class ChangesListFilter { */ protected $priority; + /** + * + * @var string $defaultHighlightColor + */ + protected $defaultHighlightColor; + const RESERVED_NAME_CHAR = '_'; /** @@ -368,6 +374,7 @@ abstract class ChangesListFilter { 'priority' => $this->priority, 'subset' => $this->subsetFilters, 'conflicts' => [], + 'defaultHighlightColor' => $this->defaultHighlightColor ]; $output['messageKeys'] = [ @@ -494,4 +501,11 @@ abstract class ChangesListFilter { } ); } + + /** + * @param string $defaultHighlightColor + */ + public function setDefaultHighlightColor( $defaultHighlightColor ) { + $this->defaultHighlightColor = $defaultHighlightColor; + } } |