Replace with mediawiki/core @ 0aef9b6.

(except for .git/ and .gitreview)

Change-Id: I8c7b7b01e387de1e414790d0f40abd59dbac647f