mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/DiscussionTools
synced 2024-11-30 19:16:39 +00:00
781db3d800
Change-Id: I6d2245ee38a529a0f6f10beab205b6ff58ae40a1
20 lines
326 B
PHP
20 lines
326 B
PHP
<?php
|
|
/**
|
|
* Aliases for special pages
|
|
*
|
|
* @file
|
|
* @ingroup Extensions
|
|
*/
|
|
|
|
$specialPageAliases = [];
|
|
|
|
/** English (English) */
|
|
$specialPageAliases['en'] = [
|
|
'TopicSubscriptions' => [ 'TopicSubscriptions' ],
|
|
];
|
|
|
|
/** čeština (Czech) */
|
|
$specialPageAliases['cs'] = [
|
|
'TopicSubscriptions' => [ 'Odebíraná_témata' ],
|
|
];
|