A patch has been sitting at
https://bugzilla.wikimedia.org/show_bug.cgi?id=12998 for a month. Since I do
not have commit access despite having requested it two months ago, could a
developer please review and commit this patch?
--
Remember the dot
http://en.wikipedia.org/wiki/User:Remember_the_dot