1	<?php
2
3	namespace MediaWiki\Extension\MediaSearch;
4
5	use Exception;
6
7	class SearchFailedException extends Exception {
8	}