Remove $wgExtraSubtitle
authorrobin <robinp.1273@gmail.com>
Sat, 10 May 2014 00:41:46 +0000 (02:41 +0200)
committerReedy <reedy@wikimedia.org>
Sat, 10 May 2014 15:56:41 +0000 (15:56 +0000)
commit1a098a7ac334d0d9a1a6d3d4e391100ba930825a
treed62c2d0bc4728ba7e24e3bc2a827c9dcd3d3d8d3
parent01341381c3afeb4dd65160f552590da93e0fc947
Remove $wgExtraSubtitle

Remove $wgExtraSubtitle, per Change-Id: Ic5121b820f0ce87222e292c447e9ce0014186d76

Change-Id: I20e710a6978f1893ee84a6219464337745b7d2ce
includes/DefaultSettings.php