Rename Wiki.php to MediaWiki.php

This only renames the file, not the class itself.

Change-Id: I53dfa5ae98c8f45b32f911419217692cfd760cd7
Merge "Rename Wiki.php to MediaWiki.php"