mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/DiscussionTools
synced 2024-11-23 16:06:53 +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' ],
|
||
|
];
|