Open Daimona opened 2 years ago
Note: to be merged after core change https://gerrit.wikimedia.org/r/c/mediawiki/core/+/712747
So this should only be merged when we drop support for MediaWiki 1.37, which will presumably be in a few years.
Note: to be merged after core change https://gerrit.wikimedia.org/r/c/mediawiki/core/+/712747