<?php

class PermissionDeniedException extends Exception {}
?>