mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/DiscussionTools
synced 2024-11-23 16:06:53 +00:00
9492fcc1f8
Follow-up to b7af4e87f5
Bug: T374598
Change-Id: Ibc958f84991198ebb616cf41258e70968353f7fe
9 lines
178 B
PHP
9 lines
178 B
PHP
<?php
|
|
|
|
namespace MediaWiki\Extension\DiscussionTools;
|
|
|
|
use Wikimedia\NormalizedException\NormalizedException;
|
|
|
|
class PageNeverHadThreadsException extends NormalizedException {
|
|
}
|