Updated mediawiki/extensions
Project: mediawiki/extensions/MobileApp  1cfcf280a293eddcb09a1202b91798e863ffa255

Move edit section button styles from Android to generic

Needed for proper display on iOS for https://gerrit.wikimedia.org/r/#/c/141763/

Change-Id: Id0767093b4beb3280d2d223b726a77c2582b9162