Merge "Syntax highlighting: Switch extension tags to green"

Authored by jenkins-bot <jenkins-bot@gerrit.wikimedia.org> on Apr 21 2017, 6:34 PM.

Description

Merge "Syntax highlighting: Switch extension tags to green"

Details

Committed
Gerrit Code Review <gerrit@wikimedia.org>Apr 21 2017, 6:34 PM
Parents
rECMI14eea32e449a: CSS hack for ext.wikiEditor module no longer needed
rECMIe3ca35adf585: Syntax highlighting: Switch extension tags to green
Branches
Unknown
Tags
Unknown
ChangeId
None
Gerrit Code Review <gerrit@wikimedia.org> committed rECMI1c7bac5c17b9: Merge "Syntax highlighting: Switch extension tags to green" (authored by jenkins-bot <jenkins-bot@gerrit.wikimedia.org>).Apr 21 2017, 6:34 PM

Merged Changes

CommitAuthorDetailsCommitted
e3ca35adf585Pastakhov
Syntax highlighting: Switch extension tags to green 
Apr 20