mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/DiscussionTools
synced 2024-11-24 00:13:36 +00:00
10 lines
130 B
PHP
10 lines
130 B
PHP
|
<?php
|
||
|
|
/**
|
||
|
|
* DiscussionTools extension hooks
|
||
|
|
*
|
||
|
|
* @file
|
||
|
|
* @ingroup Extensions
|
||
|
|
* @license MIT
|
||
|
|
*/
|
||
|
|
class DiscussionToolsHooks {}
|