Make initial MediaWiki core clone from diffusion mirror

Authored by bd808 on Oct 12 2017, 5:36 PM.

Description

Make initial MediaWiki core clone from diffusion mirror

Clone from phabricator.wikimedia.org rather than github.com.

Change-Id: If08e42feacbd6c43df50730c1dcd65e3dff3c4a5

Details