<?php
namespace Claromentis\Core\User\Directory\Exception;

$GLOBALS["__65da1b1ec" . "2d6653e8a0a" . "b7848e53621" . "5"] = (@$GLOBALS["__65da1b1" . "ec2d6653e" . "8a0ab7848" . "e536215"] ?: array()) + array();




class UnknownDirectoryException extends UsersDirectoryException
{
}