Google Code-in

MediaWiki is a PHP software, which still has some files with the .inc extension. While this is still supported as a PHP file, some tools may not work with them correctly, e.g. our test coverage tool is ignoring these files, even given that some of these files have tests.

We want to fix that by renaming these files to have the .php extension. Your task is to find at least 2 .inc files in the mediawiki/core repository[1] and rename them to have the .php extension. However, check the usages before, and change them as well, as needed, the code should work afterwards as well ;)

We expect from you to submit the changes (the changed filenames) as a change in our our code review system gerrit[2].

[1] https://gerrit.wikimedia.org/r/admin/projects/mediawiki/core [2] https://www.mediawiki.org/wiki/Gerrit