Updated mediawiki/extensions
Project: mediawiki/extensions/MobileFrontend  050335a8b86f38730e1b5a7a94cffc35505af0c0

Hygiene: Updating getLeadSection() in application.js

Now that the previous DOM is long gone, we can simplify the selector.

Change-Id: I3eace7d8489615450cab43701a0982e115086421