On Fri, 07 Feb 2014 16:47:47 +0100, yan@seiner.com wrote:
My old users can no longer log in. This means I no longer have an admin user. Is there any way I can use both the AD users and local users?
No idea about this, but you can promote users to admins from command-line: https://www.mediawiki.org/wiki/Manual:CreateAndPromote.php