Indeed, I have a fix: https://gerrit.wikimedia.org/r/113309

I made a mistake in https://gerrit.wikimedia.org/r/#/c/113068/ which Roan gave the ol' +2. So, two points of embarrassing failure. Nice.

- Trevor

On Thu, Feb 13, 2014 at 4:30 PM, Roan Kattouw <rkattouw@wikimedia.org> wrote:

On Feb 13, 2014 4:28 PM, "Trevor Parscal" <tparscal@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