diff options
| author | Volker E <volker.e@wikimedia.org> | 2018-03-06 23:13:15 -0800 |
|---|---|---|
| committer | Jforrester <jforrester@wikimedia.org> | 2018-03-07 18:01:40 +0000 |
| commit | 372a40b7edf9db0d53961d4f2078b53de01f67b3 (patch) | |
| tree | dc97e3407984c2f4d00dc1ff0ecc2d549f13863a /resources/lib/oojs-ui/oojs-ui-wikimediaui.js | |
| parent | 1179a1a6ea333573f86e9bd116fb1e385ed9a7d4 (diff) | |
| download | mediawikicore-372a40b7edf9db0d53961d4f2078b53de01f67b3.tar.gz mediawikicore-372a40b7edf9db0d53961d4f2078b53de01f67b3.zip | |
Update OOUI to v0.25.3
Release notes:
https://phabricator.wikimedia.org/diffusion/GOJU/browse/master/History.md;v0.25.3
Depends-On: I4b847a3e253def12ba1fa15607e1700a4a2c236a
Change-Id: Id10209ea2e36beaac36a0d3509edaa83442290b4
Diffstat (limited to 'resources/lib/oojs-ui/oojs-ui-wikimediaui.js')
| -rw-r--r-- | resources/lib/oojs-ui/oojs-ui-wikimediaui.js | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/resources/lib/oojs-ui/oojs-ui-wikimediaui.js b/resources/lib/oojs-ui/oojs-ui-wikimediaui.js index e88914977e55..b52a76159b34 100644 --- a/resources/lib/oojs-ui/oojs-ui-wikimediaui.js +++ b/resources/lib/oojs-ui/oojs-ui-wikimediaui.js @@ -1,12 +1,12 @@ /*! - * OOUI v0.25.2 + * OOUI v0.25.3 * https://www.mediawiki.org/wiki/OOUI * * Copyright 2011–2018 OOUI Team and other contributors. * Released under the MIT license * http://oojs.mit-license.org * - * Date: 2018-02-07T00:27:24Z + * Date: 2018-03-07T06:52:35Z */ ( function ( OO ) { |