1	<?php
2
3	namespace ProofreadPage;
4
5	use RuntimeException;
6
7	/**
8	* @license GPL-2.0-or-later
9	*
10	* An exception thrown if a page number is not found
11	*/
12	class PageNumberNotFoundException extends RuntimeException {
13	}