includes/pageprocess.php
changeset 322 44b68ee8d2f5
parent 318 eec2dfd2f0a3
--- a/includes/pageprocess.php	Sun Jan 18 18:09:08 2009 -0500
+++ b/includes/pageprocess.php	Sun Jan 18 18:09:55 2009 -0500
@@ -165,6 +165,11 @@
       $this->err_access_denied();
       return false;
     }
+    if ( $this->revision_id > 0 && !$this->perms->get_permissions('history_view') )
+    {
+      $this->err_access_denied();
+      return false;
+    }
     $pathskey = $paths->nslist[ $this->namespace ] . $this->page_id;
     $strict_no_headers = false;
     if ( isset($paths->pages[$pathskey]) )