Merge "Update OOUI to v0.25.3"

diff --combined composer.json
index 5d7ac89,47d5400..178c280
--- 1/composer.json
--- 2/composer.json
+++ b/composer.json
@@@ -25,7 -25,7 +25,7 @@@
                "ext-xml": "*",
                "liuggio/statsd-php-client": "1.0.18",
                "mediawiki/at-ease": "1.2.0",
-               "oojs/oojs-ui": "0.25.2",
+               "oojs/oojs-ui": "0.25.3",
                "oyejorge/less.php": "1.7.0.14",
                "php": ">=5.5.9",
                "psr/log": "1.0.2",
@@@ -40,7 -40,7 +40,7 @@@
                "wikimedia/php-session-serializer": "1.0.5",
                "wikimedia/purtle": "1.0.6",
                "wikimedia/relpath": "2.1.1",
 -              "wikimedia/remex-html": "1.0.2",
 +              "wikimedia/remex-html": "1.0.3",
                "wikimedia/running-stat": "1.2.1",
                "wikimedia/scoped-callback": "1.0.0",
                "wikimedia/utfnormal": "1.1.0",