2012-07-16 08:21:48 +02:00
|
|
|
<?php
|
|
|
|
/**
|
|
|
|
* Simple exception extension so that we can tell the difference between internally
|
|
|
|
* raised exceptions and those thrown by DMS.
|
|
|
|
*/
|
2015-12-17 19:48:37 +01:00
|
|
|
class FileNotFoundException extends Exception
|
|
|
|
{
|
2012-07-16 08:21:48 +02:00
|
|
|
}
|