equal
deleted
inserted
replaced
163 if ( !$this->perms->get_permissions('read') ) |
163 if ( !$this->perms->get_permissions('read') ) |
164 { |
164 { |
165 $this->err_access_denied(); |
165 $this->err_access_denied(); |
166 return false; |
166 return false; |
167 } |
167 } |
|
168 if ( $this->revision_id > 0 && !$this->perms->get_permissions('history_view') ) |
|
169 { |
|
170 $this->err_access_denied(); |
|
171 return false; |
|
172 } |
168 $pathskey = $paths->nslist[ $this->namespace ] . $this->page_id; |
173 $pathskey = $paths->nslist[ $this->namespace ] . $this->page_id; |
169 $strict_no_headers = false; |
174 $strict_no_headers = false; |
170 if ( isset($paths->pages[$pathskey]) ) |
175 if ( isset($paths->pages[$pathskey]) ) |
171 { |
176 { |
172 if ( $paths->pages[$pathskey]['special'] == 1 ) |
177 if ( $paths->pages[$pathskey]['special'] == 1 ) |