wikimedia/mediawiki-extensions-DiscussionTools
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/DiscussionTools synced 2024-12-02 20:16:41 +00:00
Code Issues Packages Projects Releases Wiki Activity
2809 commits 11 branches 4 tags 129 MiB
Commit graph

3 commits

Author SHA1 Message Date
Timo Tijhof 18e523281c Avoid unsafe wrapping of Message::parse() into paragraph 
Bug: T322173
Change-Id: I8405a33129ab17edcb7a02440146684170f1c0a7
 2022-11-02 00:19:46 +00:00
Bartosz Dziewoński 433e57394c Use PHP 7.4 property types 
Change-Id: I788db64f0c0c00894d77256b7f016d44eda4bbb1
 2022-10-28 21:56:38 +02:00
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