OK, thankful that
https://bugzilla.wikimedia.org/show_bug.cgi?id=17677
is fixed now. Sorry for the panicky bug report, I was probably afraid
that tomorrow there would be a security alert "upgrade now!", but I
wouldn't be able to upgrade until the bug was fixed.