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
2505 commits 147 branches 0 tags 125 MiB
Commit graph

5 commits

Author SHA1 Message Date
Bartosz Dziewoński 0024a94ba7 Store permalink data, implement Special:FindComment/GoToComment 
Depends-On: I90656cc74bb1cb1f2f3c82ad51cfb164cb8a4a4b
Bug: T296801
Change-Id: I84187b303aa10a242c872088403f808df3d1f940
 2022-08-11 01:19:47 +02:00
na1307 d19cc7e9eb
Add Korean special page alias 
Change-Id: Iedcf6561640193e3f2efcff3d65c3da91c153592
 2022-06-30 10:48:20 +09:00
Msz2001 64cd38c053 Translate special page alias into Polish 
Change-Id: Ieac259d5cf48f786cd24f54fc40683fa254828b6
 2022-06-16 10:07:17 +00:00
Martin Urbanec 781db3d800 Translate Special:TopicSubscriptions to Czech 
Change-Id: I6d2245ee38a529a0f6f10beab205b6ff58ae40a1
 2021-11-22 16:23:41 +01:00
Bartosz Dziewoński a0dc12ab56 Add Special:TopicSubscriptions 
Bug: T273342
Change-Id: If96a0df1efbf5cadfb6bf2bf8f7ad5c9c90ea142
 2021-10-06 20:06:01 +00:00