Merge "Add wfProfileOut() missing in 74f581e34"
authorReedy <reedy@wikimedia.org>
Sun, 13 Jan 2013 17:04:51 +0000 (17:04 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Sun, 13 Jan 2013 17:04:51 +0000 (17:04 +0000)

Trivial merge