Last modified: 2013-08-16 03:08:50 UTC
Change 78488 had a related patch set uploaded by Steven Zhang: Create an underline tool https://gerrit.wikimedia.org/r/78488
Change 78488 merged by jenkins-bot: Create an underline tool https://gerrit.wikimedia.org/r/78488
Now merged into master; will be deployed (as experimental) in the next push (so will be available on MediaWiki.org) - we will make this available to production wikis next week when we re-work the toolbar.