Merge "Remove math from $wgDefaultUserOptions as Math isn't in core"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Mon, 27 Nov 2017 21:28:00 +0000 (21:28 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Mon, 27 Nov 2017 21:28:00 +0000 (21:28 +0000)
commite4e7c5acf3e59895dae977c65cbf75ee0c08257b
tree4cdb5d3759ee7232edadf63a53f422ab5e544118
parentbd94c6df8b56386cc00c82a6b1da7e9378b0da42
parentb29460a84d915f49ce361399b26efbfa34f77db0
Merge "Remove math from $wgDefaultUserOptions as Math isn't in core"
includes/DefaultSettings.php