mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-11-25 06:46:26 +00:00
f153f932a2
This is bit of a hack, as leading whitespace could be significant if styled with white-space:pre. Long term VE shouldn't be editing the user's HTML, and should just highlight potential formatting issues. We avoid the stripping in preformatted elements as we expect they will have that styling. Bug: 51462 Change-Id: I654d98e17dd604cb2a192831ff3f3597f95b9962 |
||
---|---|---|
.. | ||
ce | ||
dm | ||
init | ||
test | ||
ui | ||
ve.BranchNode.js | ||
ve.debug.js | ||
ve.Document.js | ||
ve.Element.js | ||
ve.EventEmitter.js | ||
ve.Factory.js | ||
ve.js | ||
ve.LeafNode.js | ||
ve.NamedClassFactory.js | ||
ve.Node.js | ||
ve.Range.js | ||
ve.Registry.js |