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]) )