wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-11-24 06:24:08 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Visual.../includes
History
jenkins-bot f5b0d655cf Merge "FeedbackTool: Add the ability to vary feedback page for source mode"
2018-04-04 21:24:09 +00:00
..
ApiVisualEditor.php Merge "ApiVisualEditor: Remove unused variable and add some type hints" 2018-04-03 19:33:32 +00:00
ApiVisualEditorEdit.php doc: Document all public and protected PHP functions 2018-03-28 12:50:44 -07:00
SpecialCollabPad.php doc: Document all public and protected PHP functions 2018-03-28 12:50:44 -07:00
VisualEditorDataModule.php Merge "FeedbackTool: Add the ability to vary feedback page for source mode" 2018-04-04 21:24:09 +00:00
VisualEditorDesktopArticleTargetInitModule.php doc: Document all public and protected PHP functions 2018-03-28 12:50:44 -07:00
VisualEditorHooks.php Merge "FeedbackTool: Add the ability to vary feedback page for source mode" 2018-04-04 21:24:09 +00:00