From e15fcdbf6063455070c332fe5305b8a6d7147958 Mon Sep 17 00:00:00 2001
From: Andrew Garrett <werdna@users.mediawiki.org>
Date: Mon, 2 Feb 2009 23:35:12 +0000
Subject: [PATCH] Add some core rights

---
 includes/User.php | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/includes/User.php b/includes/User.php
index 346021543e..eb8c5fe590 100644
--- a/includes/User.php
+++ b/includes/User.php
@@ -141,9 +141,11 @@ class User {
 		'createtalk',
 		'delete',
 		'deletedhistory',
+		'deleterevision',
 		'edit',
 		'editinterface',
 		'editusercssjs',
+		'hideuser',
 		'import',
 		'importupload',
 		'ipblock-exempt',
@@ -164,7 +166,9 @@ class User {
 		'reupload-shared',
 		'rollback',
 		'siteadmin',
+		'suppressionlog',
 		'suppressredirect',
+		'suppressrevision',
 		'trackback',
 		'undelete',
 		'unwatchedpages',
-- 
2.20.1