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
..
ve.ui.FormatDropdownTool.js	Doc: Replace "@property @type {Type}" with "@property {Type}".	2013-03-28 21:21:56 +01:00
ve.ui.MWFormatDropdownTool.js	Create MediaWiki specific nodes to contain MW specific rules.	2013-03-12 16:28:29 -07:00