On Feb 13, 2014 4:28 PM, "Trevor Parscal" <tparscal(a)wikimedia.org> wrote:
I could, but I'm having DNS issues. Basically, you need to update
MediaWiki
core, so you get the latest oojs-ui, which adds such support.
In short - they are out of sync.
This is on beta labs, so while I suppose it's possible that things are out
of sync there, it seems unlikely.
I'll take a look later today.
Roan