"Derric Atzrott" datzrott@alizeepathology.com writes:
TL;DR: Should we merge https://gerrit.wikimedia.org/r/#/c/165979/ and release it with MediaWiki 1.24?
This seems completely reasonable to me. I'd merge is personally. Is there any reason not to?
The discussion on the bug and the fact that this was in a security release.
I'll merge it tomorrow for RC.1 unless someone objects or a problem arises.
Mark.