[MediaWiki-commits] [Gerrit] operations/mediawiki-config[master]: Rename $wgFlagRestrctions to $wgFlaggedRevsTagsRestrictions
jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/325456 ) Change subject: Rename $wgFlagRestrctions to $wgFlaggedRevsTagsRestrictions .. Rename $wgFlagRestrctions to $wgFlaggedRevsTagsRe
[MediaWiki-commits] [Gerrit] operations/mediawiki-config[master]: Rename $wgFlagRestrctions to $wgFlaggedRevsTagsRestrictions
Catrope has uploaded a new change for review. https://gerrit.wikimedia.org/r/325456 Change subject: Rename $wgFlagRestrctions to $wgFlaggedRevsTagsRestrictions .. Rename $wgFlagRestrctions to $wgFlaggedRevsTagsRestrictions $w