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
}
MediaWiki\ResourceLoader\CircularDependencyError
Definition
CircularDependencyError.php:29
MediaWiki\ResourceLoader
Definition
CircularDependencyError.php:21
includes
ResourceLoader
CircularDependencyError.php
Generated on Sun May 12 2024 11:24:09 for MediaWiki by
1.10.0