mediawiki-extensions-Visual.../demos/ve
Moriel Schottlender cf237b882e Insert special character tool
A tool to add special characters and diacritics to text.

Also added a new button type ve.ui.GroupButtonWidget that includes a
group of PushButtonWidget objects and returna the individual button's
value upon click

Wikis can edit <visualeditor-specialcharinspector-characterlist-insert>,
a JSON string, to include their own desird special characters to insert
through the tool.

Bug: 50296
Change-Id: I26d1f437feef1c8b61ed3be5f74ef524b33baf49
2013-12-05 22:51:14 -08:00
..
pages Separate data/metadata split and node tree loops 2013-12-05 21:30:04 +00:00
demo.css Fix csslint warnings 2013-12-03 23:09:56 +01:00
eventLogger.html Fix path to oojs in eventLogger.html 2013-11-18 14:41:12 +05:30
eventSequencer.html Rename oo.js to oojs.js per library name 2013-10-22 19:18:32 +00:00
index.php Insert special character tool 2013-12-05 22:51:14 -08:00