wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-11-23 14:06:52 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Visual.../.phan
History
David Lynch 49d5c26c08 ve.collab: Move BetaFeature into its own file 
Avoids requiring a dependency on the BetaFeatures extension.

Tell the phan config to include the BetaFeatures checkout so it'll pass
on that file, though. (Same as DiscussionTools.)

Change-Id: I258d3be59ea9cf0a798d93f0f8b1fd18a455d45a
2024-03-06 14:50:14 -06:00
..
stubs Replace some moved Title class uses, now MediaWiki\Title\Title 2023-08-19 12:17:42 +00:00
config.php ve.collab: Move BetaFeature into its own file 2024-03-06 14:50:14 -06:00