ApiSandbox: Use OO.ui.getDefaultOverlay()
authorBrad Jorsch <bjorsch@wikimedia.org>
Fri, 12 Jan 2018 15:18:41 +0000 (10:18 -0500)
committerBrad Jorsch <bjorsch@wikimedia.org>
Fri, 12 Jan 2018 15:18:41 +0000 (10:18 -0500)
commitea84d81e6a65968da7c56dc8623b22803418bf92
treee7cdb37c90cebf50e0816b9e979e974526e79fa6
parenta18476eab39dc201384c68cbd27228c5af32f7fc
ApiSandbox: Use OO.ui.getDefaultOverlay()

Mostly via the shortcut of passing true to the '$overlay' parameter.

Also use it instead of <body> as the container for fullscreen mode, so
we don't have to worry about different z indexes to not go over the
default overlay in different skins.

And rename our OptionalWidget's "$overlay" parameter to "$cover" since
it's not an overlay in the sense that OOUI uses that term.

Bug: T184790
Change-Id: Ia65400f4c8c5e0f44cdb30e09c854fa38590e39d
resources/src/mediawiki.special/mediawiki.special.apisandbox.css
resources/src/mediawiki.special/mediawiki.special.apisandbox.js