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