wikimedia/mediawiki-extensions-DiscussionTools
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/DiscussionTools synced 2024-11-27 09:43:30 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge "Add Korean special page aliases"

Browse source
This commit is contained in:
jenkins-bot 2022-09-24 23:26:00 +00:00 committed by Gerrit Code Review
parent 5f94a9bf00 1c1d7b3c5d
commit 63acbf4dfc
1 changed files with 2 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
DiscussionTools.alias.php
View file

@ -32,6 +32,8 @@ $specialPageAliases['he'] = [
/** Korean (한국어) */
$specialPageAliases['ko'] = [
'TopicSubscriptions' => [ '구독하는주제' ],
'FindComment' => [ '댓글찾기' ],
'GoToComment' => [ '댓글로가기' ],
];
/** Polish (polski) */