Replace with mediawiki-core @ de9a0853e6.

(except for .git/ and .gitreview)

Change-Id: I7514284d3ed457051888808c8bb23d7c1b7e3130