wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-11-15 18:39:52 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Visual.../modules/oojs-ui/tools
History
Trevor Parscal 0ee35c99d0 Add OO.ui.PopupTool 
Tool that launches a popup when clicked.

Change-Id: Ie35b51f8160ad3fb844491e2799656413d4029c0
2013-10-29 05:57:40 +00:00
..
OO.ui.PopupTool.js Add OO.ui.PopupTool 2013-10-29 05:57:40 +00:00