if (!defined('MEDIAWIKI')) {
    echo "FlaggedRevs extension\n";
    exit(1);
}
# Stable constant to let extensions be aware that this is enabled
define('FLAGGED_REVISIONS', true);
$wgExtensionCredits['specialpage'][] = array('path' => __FILE__, 'name' => 'Flagged Revisions', 'author' => array('Aaron Schulz', 'Joerg Baach'), 'url' => 'https://www.mediawiki.org/wiki/Extension:FlaggedRevs', 'descriptionmsg' => 'flaggedrevs-desc');
# Load global constants
require dirname(__FILE__) . '/FlaggedRevs.defines.php';
# Load default configuration variables
require dirname(__FILE__) . '/FlaggedRevs.config.php';
# Define were PHP files and i18n files are located
require dirname(__FILE__) . '/FlaggedRevs.setup.php';
FlaggedRevsSetup::defineSourcePaths($wgAutoloadClasses, $wgExtensionMessagesFiles);
# Define JS/CSS modules and file locations
FlaggedRevsUISetup::defineResourceModules($wgResourceModules);
# Define user rights
$wgAvailableRights[] = 'review';
# review pages to basic quality levels
$wgAvailableRights[] = 'validate';
# review pages to all quality levels
$wgAvailableRights[] = 'autoreview';
# auto-review one's own edits (including rollback)
$wgAvailableRights[] = 'autoreviewrestore';
# auto-review one's own rollbacks
$wgAvailableRights[] = 'unreviewedpages';
# view the list of unreviewed pages
$wgAvailableRights[] = 'movestable';
# move pages with stable versions
$wgAvailableRights[] = 'stablesettings';
# change page stability settings