[MediaWiki-commits] [Gerrit] mediawiki...Theme[master]: Version 2.1: add the theme name as a class name to the

2017-07-09 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/364101 ) Change subject: Version 2.1: add the theme name as a class name to the element to ease per-theme styling .. Version 2.1: add t

[MediaWiki-commits] [Gerrit] mediawiki...Theme[master]: Version 2.1: add the theme name as a class name to the

2017-07-09 Thread Jack Phoenix (Code Review)
Jack Phoenix has uploaded a new change for review. ( https://gerrit.wikimedia.org/r/364101 ) Change subject: Version 2.1: add the theme name as a class name to the element to ease per-theme styling .. Version 2.1: add the them