mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/DiscussionTools
synced 2024-11-13 18:37:07 +00:00
0024a94ba7
Depends-On: I90656cc74bb1cb1f2f3c82ad51cfb164cb8a4a4b Bug: T296801 Change-Id: I84187b303aa10a242c872088403f808df3d1f940
32 lines
645 B
PHP
32 lines
645 B
PHP
<?php
|
|
/**
|
|
* Aliases for special pages
|
|
*
|
|
* @file
|
|
* @ingroup Extensions
|
|
*/
|
|
|
|
$specialPageAliases = [];
|
|
|
|
/** English (English) */
|
|
$specialPageAliases['en'] = [
|
|
'TopicSubscriptions' => [ 'TopicSubscriptions' ],
|
|
'FindComment' => [ 'FindComment' ],
|
|
'GoToComment' => [ 'GoToComment' ],
|
|
];
|
|
|
|
/** čeština (Czech) */
|
|
$specialPageAliases['cs'] = [
|
|
'TopicSubscriptions' => [ 'Odebíraná_témata' ],
|
|
];
|
|
|
|
/** 한국어 (Korean) */
|
|
$specialPageAliases['ko'] = [
|
|
'TopicSubscriptions' => [ '구독하는주제' ],
|
|
];
|
|
|
|
/** polski (Polish) */
|
|
$specialPageAliases['pl'] = [
|
|
'TopicSubscriptions' => [ 'Subskrypcje_wątków', 'Subskrybowane_wątki' ],
|
|
];
|