moved from https://gerrit.wikimedia.org/r/#/admin/projects/mediawiki/extensions/BlueSpiceConfigManager