2018-10-01 - mw-extension-ids
14:25	<andrewbogott>	deleting project as per https://wikitech.wikimedia.org/wiki/News/Cloud_VPS_2018_Purge#OBSOLETE_mw-extension-ids	[mw-extension-ids]