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
..
trigger	Rename oo.js to oojs.js per library name	2013-10-22 19:18:32 +00:00
ve	Insert special character tool	2013-12-05 22:51:14 -08:00