Updated mediawiki/extensions
Project: mediawiki/extensions/MobileFrontend  065347ba757e86bb5c8489725c131b615a04d275

Don't ask about abandoning edit if no changes present

Update micro.autosize in the process.

Bug: 57377
Change-Id: I4e1f3fb0dee6e1e39306d8114e9e0d72af667b36