MediaWiki
REL1_39
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\CircularDependencyError
Definition
CircularDependencyError.php:29
MediaWiki\ResourceLoader
Definition
CircularDependencyError.php:21
includes
ResourceLoader
CircularDependencyError.php
Generated on Mon Oct 14 2024 07:23:59 for MediaWiki by
1.10.0