[MediaWiki-commits] [Gerrit] mediawiki...Theme[master]: Version 2.1: add the theme name as a class name to the
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
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