<div dir="ltr"><br><div class="gmail_extra"><br><div class="gmail_quote">On Tue, Apr 19, 2016 at 7:14 PM, Dan Garry <span dir="ltr"><<a href="mailto:dgarry@wikimedia.org" target="_blank">dgarry@wikimedia.org</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><br><div class="gmail_extra"><div class="gmail_quote">Thanks for the update. I'm glad to see the switchover went relatively painlessly!<br></div><div class="gmail_quote"><br></div><div><span class="">On 19 April 2016 at 09:00, Mark Bergsma <span dir="ltr"><<a href="mailto:mark@wikimedia.org" target="_blank">mark@wikimedia.org</a>></span> wrote:<blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex"><div dir="ltr"><div><div>We switched the wikis to read-only (editing disabled) at 14:02 UTC, and went back read-write at 14:48 UTC - a little longer than planned. While edits were possible then, unfortunately at that time Special:Recent Changes (and related change feeds) were not yet working due to an unexpected configuration problem with our Redis servers until 15:10 UTC, when we found and fixed the issue. The site has stayed up and available for readers throughout the entire migration.</div></div></div></blockquote><div><br></div></span><div>The recent changes problem is tracked inĀ <a href="https://phabricator.wikimedia.org/T133053" target="_blank">T133053</a>. Is anyone working on this issue?</div></div></div></div></blockquote><div><br></div><div>It seems not, no. Noone with MediaWiki related dev knowledge is active anymore, and the lack of a clear MW Core (availability?) team designated to deal with this isn't helping either.<br></div></div><br>-- <br><div class="gmail_signature">Mark Bergsma <<a href="mailto:mark@wikimedia.org" target="_blank">mark@wikimedia.org</a>><br>Lead Operations Architect<br>Director of Technical Operations<br>Wikimedia Foundation<br></div>
</div></div>