MediaWiki
master
CircularDependencyError.php
Go to the documentation of this file.
1
<?php
21
namespace
MediaWiki\ResourceLoader
;
22
23
use Exception;
24
29
class
CircularDependencyError
extends
Exception {
30
}
31
33
class_alias( CircularDependencyError::class,
'ResourceLoaderCircularDependencyError'
);
MediaWiki\ResourceLoader\ResourceLoader\CircularDependencyError
Definition:
CircularDependencyError.php:29
MediaWiki\ResourceLoader
Definition:
CircularDependencyError.php:21
includes
ResourceLoader
CircularDependencyError.php
Generated on Sun Sep 24 2023 04:09:26 for MediaWiki by
1.9.1