Thread:Project:Support desk/FlaggedRevs/reply (5)

I saw the patch https://gerrit.wikimedia.org/r/#/c/108302/, however: Isn't it missing the change in the file flaggedrevs.dblist? Mustn't cewiki be added to that list as well? At least that is what wmf-config/flaggedrevs.php says at the top...