quick update to use user preferences on mediawiki 1.16+ #5

Open
wants to merge 2 commits into
from

Projects

None yet

2 participants

@Klaas-
Klaas- commented Feb 26, 2013

No description provided.

@garbear
Owner
garbear commented Jul 23, 2013

Hi Klaas-,

Sorry I haven't had time to look into this. I don't have a test server set up right now, so it might be a while before I'm able to. Thanks for the patch, and I'll test it out and merge it when I get the opportunity.

Regards,
Garrett

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment