It was exported: https://github.com/wikimedia/mediawiki/commit/7a91fd0dc3a1dfb0c189bd355f29f70490282b47#diff-1c2de53c2b0c3f566f38b66940bef7d5