wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-11-13 17:48:17 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Visual.../includes
History
Umherirrender e1442aa343 Add phan 
Change-Id: I7352036536c1c8415b681f48f3ee0dcec315c035
2019-05-31 14:48:22 +00:00
..
ApiVisualEditor.php Add phan 2019-05-31 14:48:22 +00:00
ApiVisualEditorEdit.php Section switch from wikitext to VE 2019-05-13 19:49:10 +01:00
SpecialCollabPad.php
VisualEditorDataModule.php DataModule: Use module->getConfig instead of rl->getConfig 2019-04-17 17:33:53 +00:00
VisualEditorDesktopArticleTargetInitModule.php Replace usage of deprecated ConfigFactory::getDefaultInstance() 2019-05-04 22:02:29 +01:00
VisualEditorHooks.php Add phan 2019-05-31 14:48:22 +00:00