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

Translate: Special page names into Polish

Browse source 
Change-Id: I5c50ad6f611e013c0a9f5a0f4531a6065a5f12b6
This commit is contained in:
Msz2001 2022-10-13 12:12:16 +00:00
parent c765c4124d
commit cf58427165
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

@ -39,4 +39,6 @@ $specialPageAliases['ko'] = [
/** Polish (polski) */
$specialPageAliases['pl'] = [
'TopicSubscriptions' => [ 'Subskrypcje_wątków', 'Subskrybowane_wątki' ],
'FindComment' => [ 'Znajdź_komentarz' ],
'GoToComment' => [ 'Przejdź_do_komentarza' ],
];