wikimedia/mediawiki-extensions-VisualEditor — pull request #1 by cscott (2013-09-06 16:03:48+00:00)
Title: Doc updates

This is https://gerrit.wikimedia.org/r/81272 and https://gerrit.wikimedia.org/r/81273 (except that gerrit is down and I can't update them in gerrit).