1	<?php
2
3	namespace MediaWiki\ResourceLoader;
4
5	use RuntimeException;
6
7	/**
8	* Exception thrown when a network error occurs while fetching a foreign resource.
9	*/
10	class ForeignResourceNetworkException extends RuntimeException {
11	}