Merge "mediawiki.page.patrol.ajax: Rename file to match module name"