wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-11-29 00:30:44 +00:00
Code Issues Packages Projects Releases Wiki Activity
2340 commits 13 branches 17 tags 198 MiB
Commit graph

3 commits

Author SHA1 Message Date
Subramanya Sastry 85fb2ab9ed Addressed review comments from recently merged debug_output branch. 
* 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
 2012-07-24 13:05:04 -05:00
Subramanya Sastry 2ee1514552 Added mergeProperties function to Object.prototype 
Change-Id: I50346029a9bd8a7d2cf954b0cca011f73a6fae07
 2012-07-20 18:12:37 -05:00
Gabriel Wicke 350e700d8f Add core-upgrade 
Change-Id: I5ad0955e8272d376f009f89461bed310978b25e4
 2012-06-06 15:58:17 +02:00