MediaWiki  master
CircularDependencyError.php
Go to the documentation of this file.
1 <?php
22 
23 use Exception;
24 
29 class CircularDependencyError extends Exception {
30 }
31 
33 class_alias( CircularDependencyError::class, 'ResourceLoaderCircularDependencyError' );