John wrote:
When does this go live?
My reading of <https://phabricator.wikimedia.org/T76728> and
<https://gerrit.wikimedia.org/r/182858> is that this change is likely
already live on Wikimedia wikis. It also looks like this change will be
part of MediaWiki 1.25 and later.
MZMcBride