wikimedia/mediawiki-extensions-DiscussionTools
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/DiscussionTools synced 2024-11-23 16:06:53 +00:00
Code Issues Packages Projects Releases Wiki Activity

Add Korean special page aliases

Browse source 
Change-Id: I87c827d6f113b7d8d46eb60a6cd65ad6c679587c
This commit is contained in:
na1307 2022-09-20 17:01:54 +09:00
parent 855eef1c2a
commit 1c1d7b3c5d
No known key found for this signature in database
GPG key ID: 9BF197AC94F36429
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) */