==== Upgraded external libraries ====
* Updated jquery.chosen from v0.9.14 to v1.8.2.
+* Updated composer/spdx-licenses from 1.1.4 to
+ 1.2.0 (development dependency).
+* Updated nikic/php-parser from 2.1.0 to 3.1.3
+ (development dependency).
* …
==== New external libraries ====
* The $statementsOnOwnLine parameter of JavaScriptMinifier::minify was removed.
The corresponding configuration variable ($wgResourceLoaderMinifierStatementsOnOwnLine)
has been deprecated since 1.27 and was removed as well.
+* The HtmlFormatter class was removed (deprecated in 1.27). The namespaced
+ HtmlFormatter\HtmlFormatter class should be used instead.
== Compatibility ==
MediaWiki 1.31 requires PHP 5.5.9 or later. There is experimental support for