I have been handed a media-wiki (ver 1.25) webserver as a part of a project I took on from an employee who left the company. I don't believe he had much knowledge of setting this thing up other than what the software did at the initial install time. It requires you to login, using the company-wide active directory authentication, but after one logs in, it is free for all as far as editing goes. Even though it is against the idea of wiki, I need to restrict this editing capability to only a handful of people, due to the critical nature of information on this website. This site is intranet only and have no Internet facing parts, if it makes any difference.
On my own, I have researched quite a bit and found the file /var/www/html/includes/DefaultSettings.php and found the section where lines starting with $wgGroupPermissions, followed by some rules, but I could not figure out how to change these lines and how to add people (AD UserIDs) to the groups mentioned, or create new groups if necessary. I need either a document, explaining how this is accomplished step-by-step, or need a light hand-holding as I am a wikimedia beginner.
Thanks in advance