[MediaWiki-commits] [Gerrit] operations/mediawiki-config[master]: Rename $wgFlagRestrctions to $wgFlaggedRevsTagsRestrictions

2017-01-11 Thread jenkins-bot (Code Review)
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

2016-12-05 Thread Catrope (Code Review)
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