OK, now the answer is in
https://bugzilla.wikimedia.org/show_bug.cgi?id=17724
I don't see how that's terribly hard to find.
Trust me. As very few of you will actually try these patches.
Perhaps only I, with my measly Internet connection has.
A tiny instruction at the top of the patch would not hurt.
Else cd ..; cd -; patch --this; patch --that; give up.
Oh well, I tried (to urge people to document it.)