Merge "Add new core tags"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 30 Nov 2017 18:43:28 +0000 (18:43 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 30 Nov 2017 18:43:28 +0000 (18:43 +0000)
commitfc5dced1ce8151b0354e0efda28a7542713f9cbe
tree416ec4efca815998874aca18faa12ac3e06eeab4
parentf75232305410689a54c86fe327a40586eb459239
parent62713be990a1cde6962e583165ba4480d9bab098
Merge "Add new core tags"
includes/DefaultSettings.php
languages/i18n/en.json
languages/i18n/qqq.json