I wasn't aware the bugzilla issue or the patch in Gerrit. I reviewed the patch, it was okay. Merging is now happening. I also closed the bug. You can expect the update on Wikimedia wikis in 1.22wmf2.
