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

5 commits

Author SHA1 Message Date
jenkins-bot 0e8c9b9536 Merge "Update DiscussionTools phan configuration to match new Parsoid DOM alias config" 2022-01-20 23:34:25 +00:00
C. Scott Ananian c643669dbd Update DiscussionTools phan configuration to match new Parsoid DOM alias config 
Bug: T240775
Followup-To: I99e1768c4dcbe84d73d13ddd34a181d68e9fcb5e
Depends-On: I68228213a2af937923751dcc2c121551396c6498
Change-Id: I9c5d1fc4c59469f0af9da81f94aac0ccd779d4df
 2022-01-20 17:16:35 -05:00
David Lynch df47f9fda3 Logging for new comments 
Bug: T286076
Change-Id: Ic78a49aedcb03d160d74ba3fa9660f3583f0e568
 2021-10-28 21:50:23 +00:00
Ed Sanders 0a39c11914 Echo wiring for topic subscriptions 
Depends-On: I60818d57552946857077dee93b0adb036621b791
Change-Id: I7e0996843cdd70141e19d5c7ce66122204efa1b7
 2021-04-06 23:28:28 +02:00
Umherirrender 48e860916a build: Add mediawiki/mediawiki-phan-config 
Replace phan-taint-check-plugin by phan, it is now included

Change-Id: I0e682a83afd30faa8967e3c586431be4ae9a29b3
 2020-06-10 22:21:07 +02:00