| Index: trunk/extensions/VisualEditor/modules/parser/mediawiki.DOMConverter.js |
| — | — | @@ -52,7 +52,7 @@ |
| 53 | 53 | return { |
| 54 | 54 | handler: this._convertHTMLLeaf, |
| 55 | 55 | type: 'heading', |
| 56 | | - attribs: nodeName.substr(1) |
| | 56 | + attribs: { level: nodeName.substr(1) } |
| 57 | 57 | }; |
| 58 | 58 | case 'li': |
| 59 | 59 | case 'dt': |
| — | — | @@ -434,8 +434,9 @@ |
| 435 | 435 | } |
| 436 | 436 | return out; |
| 437 | 437 | }; |
| 438 | | -// Attribute map html (tagName, attributeName) pairs to WikiDom names for the |
| 439 | | -// same element |
| | 438 | + |
| | 439 | +// Map HTML (tagName, attributeName) pairs to WikiDom names for the same |
| | 440 | +// element |
| 440 | 441 | DOMConverter.prototype._HTMLPropertiesToWikiAttributesMap = { |
| 441 | 442 | a: { |
| 442 | 443 | href: 'title' |