[21:05:37] <Krinkle>	 duesen: Could use your input here. I think we may want to declare the deprecated properties explicitly for as long as we support reading them, instead of relying on undeclared properties and reading them through getters. https://gerrit.wikimedia.org/r/c/mediawiki/core/+/876281
[21:06:06] <Krinkle>	 What is the downside of declaring it? (The current approach is more complex, so it must be for a reason, but I don't know the reason.)