Updated mediawiki/extensions
Project: mediawiki/extensions/MobileFrontend  f15c9aa82359d8ed610ff159265d086ffdaea4c9

Restore edit section links after a successful save

Change-Id: I2349d4f875a51d5def819155faff47ead1bca9bc