1	<?php
2
3	namespace MediaWiki\Extension\DiscussionTools;
4
5	use Wikimedia\NormalizedException\NormalizedException;
6
7	class PageNeverHadThreadsException extends NormalizedException {
8	}