Updated mediawiki/extensions
Project: mediawiki/extensions/MobileFrontend  aadd80c7c6941563a945b16e0fc9c9673b08098e

Tools: Ignore WIP patches in `make gerrit` command

Change-Id: I9312670022cea209aa5af77ff9e08a4cdebb5b1e