MediaWiki
1.42.0-rc.0
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
}
MediaWiki\ResourceLoader\CircularDependencyError
Definition
CircularDependencyError.php:29
MediaWiki\ResourceLoader
Definition
CircularDependencyError.php:21
includes
ResourceLoader
CircularDependencyError.php
Generated on Mon May 13 2024 22:06:05 for MediaWiki by
1.10.0