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