779
* Exception - Access totally denied, the user won't be able to access it even if they log in
780
* as the administrator
782
class AccessTotallyDeniedException extends UserException {
783
public function strings() {
784
return array_merge(parent::strings(),
785
array('message' => get_string('accessdeniedexception', 'error'),
786
'title' => get_string('accessdenied', 'error')));
789
public function render_exception() {
790
header("HTTP/1.0 403 Forbidden", true);
791
return parent::render_exception();