mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-11-28 16:20:52 +00:00
85fb2ab9ed
* Got rid of mergeProperties monkey-patch from core-upgrade. * Reformatted class defns in mediawiki.parser.defines.js. * Protected unconditional tokenization of list handler output with an env.trace check. * Other minor formatting fixes to respect 80-100 column code width guideline. Change-Id: Ida769e0e239b01a813b2d30a65aba60216262a43
9 lines
250 B
JavaScript
9 lines
250 B
JavaScript
/**
|
|
* Progressive enhancement for JS core- define things that are scheduled to
|
|
* appear in the standard anyway.
|
|
*/
|
|
|
|
if(!Array.prototype.last) Object.defineProperty(Array.prototype, 'last', {
|
|
value: function() { return this[this.length - 1] }
|
|
});
|