mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/DiscussionTools
synced 2024-12-12 08:35:37 +00:00
9 lines
178 B
PHP
9 lines
178 B
PHP
|
<?php
|
||
|
|
||
|
namespace MediaWiki\Extension\DiscussionTools;
|
||
|
|
||
|
use Wikimedia\NormalizedException\NormalizedException;
|
||
|
|
||
|
class PageNeverHadThreadsException extends NormalizedException {
|
||
|
}
|