Merge "Add missing wfProfileOut()"
authorHashar <hashar@free.fr>
Thu, 6 Dec 2012 23:16:18 +0000 (23:16 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 6 Dec 2012 23:16:18 +0000 (23:16 +0000)

Trivial merge