wikimedia/mediawiki-extensions-DiscussionTools
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/DiscussionTools synced 2024-11-16 20:58:28 +00:00
Code Issues Packages Projects Releases Wiki Activity
1543 commits 146 branches 0 tags 124 MiB
Commit graph

152 commits

Author SHA1 Message Date
Ed Sanders a17fb49a68 Scroll ReplyWidget into view 
Change-Id: I302346c85aacf9e410ff1468723b30fd04351032
 2019-11-22 16:45:26 -05:00
Ed Sanders 87696c9c3c Move postReply code to controller 
Change-Id: Ie66273d9b9f70b625ab7757c93b5884a01c70751
 2019-11-21 08:24:57 -05:00