HomePhabricator

Updated mediawiki/extensions Project: mediawiki/extensions/WikiEditor…

Authored by jenkins-bot.

Description

Updated mediawiki/extensions Project: mediawiki/extensions/WikiEditor 8173336157e1d311fd7d9b0c8ce37cd2de386ad3

WikiEditor: Improve help section

  • Internal links: Show simple example first
  • References: Show use of unnamed references
  • Discussion: Use --~~~~ for consistency with what the toolbar button inserts

Bug: T26128
Change-Id: I08de0ad416727447eccad914c2ade3a93e5a8ae2

Event Timeline

Gerrit Code Review <gerrit@wikimedia.org> committed rMEXT38a775304516: Updated mediawiki/extensions Project: mediawiki/extensions/WikiEditor… (authored by jenkins-bot <jenkins-bot@gerrit.wikimedia.org>).Jul 21 2015, 4:56 PM