After rMWd06aaa9b2077: Do not allow setting deprecated $wgSpecialPageGroups over extension.json, we should check to make sure we are not supporting any other deprecated globals in extension.json.
Description
Description
Related Objects
Related Objects
Event Timeline
Comment Actions
Douglas is going to take a look at this now and make sure there's none we need to handle.