mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-11-12 00:58:44 +00:00
49d5c26c08
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 |
||
---|---|---|
.. | ||
stubs | ||
config.php |