mirror of
https://github.com/FreshRSS/FreshRSS.git
synced 2026-01-22 04:08:13 -05:00
86f69ca396
- Only system extensions can be loaded for the moment by adding them in the config.php file. - Remove previous system (it will be added properly in the new system in the next step).
16 lines
456 B
PHP
16 lines
456 B
PHP
<?php
|
|
|
|
class Minz_ExtensionException extends Minz_Exception {
|
|
public function __construct ($message, $extension_name = false, $code = self::ERROR) {
|
|
if ($extension_name) {
|
|
$message = 'An error occured in `' . $extension_name
|
|
. '` extension with the message: ' . $message;
|
|
} else {
|
|
$message = 'An error occured in an unnamed '
|
|
. 'extension with the message: ' . $message;
|
|
}
|
|
|
|
parent::__construct($message, $code);
|
|
}
|
|
}
|