mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/DiscussionTools
synced 2024-11-13 18:37:07 +00:00
15 lines
215 B
PHP
15 lines
215 B
PHP
<?php
|
|
/**
|
|
* Aliases for special pages
|
|
*
|
|
* @file
|
|
* @ingroup Extensions
|
|
*/
|
|
|
|
$specialPageAliases = [];
|
|
|
|
/** English (English) */
|
|
$specialPageAliases['en'] = [
|
|
'TopicSubscriptions' => [ 'TopicSubscriptions' ],
|
|
];
|