wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-11-25 06:46:26 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Visual.../modules/syntaxhighlight
History
Trevor Parscal f1ab1f8119 Use ve.ui.PushButton instead of ve.ui.Button in ve.ui.SyntaxHighlightDialog 
Change-Id: I1b30e300492e682a477615a70fc7319c1b6d794e
2013-10-09 23:25:46 +00:00
..
helpers
rules
styles
ve.ce.MWSyntaxHighlightNode.js
ve.dm.MWSyntaxHighlightNode.js
ve.ui.MWSyntaxHighlightDialog.js Use ve.ui.PushButton instead of ve.ui.Button in ve.ui.SyntaxHighlightDialog 2013-10-09 23:25:46 +00:00
ve.ui.MWSyntaxHighlightSimpleSurface.js
ve.ui.MWSyntaxHighlightTool.js