Updated mediawiki/extensions
Project: mediawiki/extensions/MobileFrontend  c5f983761c74a61b9750fcdf42dd091f6a32f205

Hygiene: Remove M.getLeadSection

Put this method on the Page view itself.
Use M.getCurrentPage in modules where used.

Change-Id: I80212583c36f6c1275d48f9cc5243bb8f08f6a61