HomePhabricator

Updated mediawiki/extensions Project: mediawiki/extensions/Nostalgia…

Authored by SPQRobin.

Description

Updated mediawiki/extensions Project: mediawiki/extensions/Nostalgia 65075c9c6d50b3b37fc69abe044f970659c56bf6

Remove $wgExtraSubtitle

Remove $wgExtraSubtitle, which is defined as empty in DefaultSettings.php and is nowhere else used or defined (since almost forever it seems)

Change-Id: Ic5121b820f0ce87222e292c447e9ce0014186d76

Details

Committed
Gerrit Code ReviewMay 10 2014, 3:58 PM
Parents
rMEXTf2a14451b1b8: Updated mediawiki/extensions Project: mediawiki/extensions/Capiunto…
Branches
Unknown
Tags
Unknown
ChangeId
Ic5121b820f0ce87222e292c447e9ce0014186d76

Event Timeline