<quote name="Greg Grossmeier" date="2013-07-29" time="11:29:49 -0700">
Just closing the loop on this thread: https://bugzilla.wikimedia.org/show_bug.cgi?id=52202
That's what was done, but there possible reports of IPs getting VE on dewiki.
Which looks like a caching issue: https://bugzilla.wikimedia.org/show_bug.cgi?id=52232