mediawiki-extensions-Visual.../modules/ve/ui/tools
Timo Tijhof c53685b865 Doc: Replace "@property @type {Type}" with "@property {Type}".
Also removed a few redundant headings in class documentation
comments. There is already an @class and it looks a bit odd  in
the generated pages:
 <h2>TextString</h2>
 <p>TextString</p>
 <p>This class provides a ...</p>

Change-Id: Ie311c6993ed02e79272dbde71f6a1bc252ef3037
2013-03-28 21:21:56 +01:00
..
buttons Major UI refactoring and improvements 2013-02-26 12:29:08 -08:00
dropdowns Doc: Replace "@property @type {Type}" with "@property {Type}". 2013-03-28 21:21:56 +01:00
ve.ui.AnnotationButtonTool.js Doc: Replace "@property @type {Type}" with "@property {Type}". 2013-03-28 21:21:56 +01:00
ve.ui.ButtonTool.js Doc: Replace "@property @type {Type}" with "@property {Type}". 2013-03-28 21:21:56 +01:00
ve.ui.DropdownTool.js Group, Select, Option, Outline and MenuSection widgets 2013-03-20 22:55:32 +00:00
ve.ui.IndentationButtonTool.js Doc: Replace "@property @type {Type}" with "@property {Type}". 2013-03-28 21:21:56 +01:00
ve.ui.InspectorButtonTool.js Doc: Replace "@property @type {Type}" with "@property {Type}". 2013-03-28 21:21:56 +01:00
ve.ui.ListButtonTool.js Doc: Replace "@property @type {Type}" with "@property {Type}". 2013-03-28 21:21:56 +01:00