HomePhabricator

Remove $wgExtraSubtitle

Authored by SPQRobin.

Description

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
SPQRobinMay 10 2014, 12:38 AM
Parents
rSNOSfb1c6117af4b: Update i18n shim
Branches
Unknown
Tags
Unknown
ChangeId
Ic5121b820f0ce87222e292c447e9ce0014186d76