/www/wiki/extensions/PageForms/libs/ve/ui/
../
ui.CommandRegistry.js
ui.SwitchEditorAction.js
ui.SwitchEditorTool.js