Translations:MediaWiki 1.31/23/en

The $1 extension was not included in the tarball for MediaWiki 1.31.0 by mistake. If you want to use this extension, please download the extension separately. This is fixed in 1.31.1 and up.