Moved editgrades right assignment to instructor
group out of extension (it is now a part of
installation in LocalSettings.php) so that wiki
admins can have more control over their user
groups