Change Details

This event seems to be referred to as MediaWiki Developer Summit due to legacy reasons. I largely agree with the renaming, but we need to actually //make the rename// if we're not going to confuse people trying to talk about this. I just fixed the [[ https://www.mediawiki.org/wiki/Wikimedia_Developer_Summit_2016 | main mediawiki.org page for this event]], but I would like it to be more than just an informal happening. Could someone take on the task of actually making the rename?