wikimedia/mediawiki-extensions-DiscussionTools
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/DiscussionTools synced 2024-09-23 10:29:11 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Discus.../.phan
History
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
..
stubs Don't refer directly to PHP dom extension classes; avoid nonstandard behavior 2021-07-30 18:15:40 -04:00
config.php Update DiscussionTools phan configuration to match new Parsoid DOM alias config 2022-01-20 17:16:35 -05:00