HomePhabricator

Updated mediawiki/extensions Project: mediawiki/extensions/MobileFrontend…

Authored by jenkins-bot <jenkins-bot@gerrit.wikimedia.org>.

Description

Updated mediawiki/extensions Project: mediawiki/extensions/MobileFrontend 5bcbcc45acdc7565145393ef0d9b3bb10269529b

Hygiene: Move Section to its own file.

For some reason an empty Section.js file exists already
so let's use it :)

Change-Id: Iee2db3200c5574955004ee3f52053acaf1f2e5eb

Details

Committed
Gerrit Code ReviewJan 24 2014, 10:54 PM
Parents
rMEXTf8775b5ffd6f: Updated mediawiki/extensions Project: mediawiki/extensions/MobileFrontend…
Branches
Unknown
Tags
Unknown
ChangeId
Iee2db3200c5574955004ee3f52053acaf1f2e5eb

Event Timeline

Gerrit Code Review <gerrit@wikimedia.org> committed rMEXT709566c2937a: Updated mediawiki/extensions Project: mediawiki/extensions/MobileFrontend… (authored by jenkins-bot <jenkins-bot@gerrit.wikimedia.org>).Jan 24 2014, 10:54 PM