diff options
author | James D. Forrester <jforrester@wikimedia.org> | 2017-07-11 15:15:55 -0700 |
---|---|---|
committer | James D. Forrester <jforrester@wikimedia.org> | 2017-07-11 15:15:55 -0700 |
commit | 1d12fd51ef3d8f432422461d2f953ec7c6c2d88e (patch) | |
tree | 71e866290e933facf5fcbc884cbdfe4240916b4a /resources/lib/oojs-ui/oojs-ui-wikimediaui.js | |
parent | 4861dcddf468215a10efa5d3fbe87dbde9e5a991 (diff) | |
download | mediawikicore-1d12fd51ef3d8f432422461d2f953ec7c6c2d88e.tar.gz mediawikicore-1d12fd51ef3d8f432422461d2f953ec7c6c2d88e.zip |
Update OOjs UI to v0.22.3
Release notes:
https://phabricator.wikimedia.org/diffusion/GOJU/browse/master/History.md;v0.22.3
Depends-On: If676bfab1d2040a9d360c741a5ab4e1c81b36b87
Change-Id: I684822b564663a94e03fc8b559617974502c8e52
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 c982fc87f129..bf5b7b1e3dcc 100644 --- a/resources/lib/oojs-ui/oojs-ui-wikimediaui.js +++ b/resources/lib/oojs-ui/oojs-ui-wikimediaui.js @@ -1,12 +1,12 @@ /*! - * OOjs UI v0.22.2 + * OOjs UI v0.22.3 * https://www.mediawiki.org/wiki/OOjs_UI * * Copyright 2011–2017 OOjs UI Team and other contributors. * Released under the MIT license * http://oojs.mit-license.org * - * Date: 2017-06-28T19:51:59Z + * Date: 2017-07-11T22:12:33Z */ ( function ( OO ) { |