On Feb 13, 2014 4:28 PM, Trevor Parscal tpars...@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
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 rkatt...@wikimedia.orgwrote:
On Feb 13,
Heh, thanks for spotting the issue so quickly and submitting a fix. Once
merged, hopefully the test failures will disappear. Thanks again!
On Thu, Feb 13, 2014 at 5:43 PM, Trevor Parscal tpars...@wikimedia.orgwrote:
Indeed, I have a fix: https://gerrit.wikimedia.org/r/113309
I made a mistake
