Steps to replicate the issue (include links if applicable):
- Choose your favourite CommunityConfiguration provider that uses a WikiPage
- Set any override in the config, make sure it works
- Delete the config page
What happens?:
MediaWikiConfigReader keeps returning the cached value before deletion (including the override set above).
What should have happened instead?:
It should return default values.
Software version (on Special:Version page; skip for WMF-hosted wikis like Wikipedia): master
Other information (browser name/version, screenshots, etc.): AbstractJsonStore caches the configuration in WANCache. This cache is invalidates when a config page is edited (in WikiPageStoreEventIngress), but not when the page is deleted.
On a related note, maybe double-check what happens when the page is moved. With suppressredirect it should count as a page deletion, so it would be covered by listening for deletions. Otherwise, I think it might be covered by the existing revision update (page moves insert a dummy revision).