User blog comment:Kirkburn/Technical Update: August 20, 2013/@comment-3562424-20130822024359/@comment-126761-20130822122617

Those are indeed the correct diffs - the change in MediaWiki core, with a few more details, is here:.