Merge "Update mediawiki/at-ease"

diff --git a/RELEASE-NOTES-1.31 b/RELEASE-NOTES-1.31
index 8683054..88d927e 100644 (file)
--- a/RELEASE-NOTES-1.31
+++ b/RELEASE-NOTES-1.31
@@ -59,6 +59,7 @@ production.
 * Updated wikimedia/relpath from 2.0.0 to 2.1.1.
 * Updated wikimedia/running-stat from 1.1.0 to 1.2.0.
 * Updated wikimedia/wrappedstring from 2.2.0 to 2.3.0.
+* Updated mediawiki/at-ease from 1.1.0 to 1.2.0.
 * …
 
 ==== New external libraries ====

diff --git a/composer.json b/composer.json
index c79bdfb..c3ff8d6 100644 (file)
--- a/composer.json
+++ b/composer.json
@@ -24,7 +24,7 @@
                "ext-mbstring": "*",
                "ext-xml": "*",
                "liuggio/statsd-php-client": "1.0.18",
-               "mediawiki/at-ease": "1.1.0",
+               "mediawiki/at-ease": "1.2.0",
                "oojs/oojs-ui": "0.25.2",
                "oyejorge/less.php": "1.7.0.14",
                "php": ">=5.5.9",