Merge "Remove 'Browser default' editfont option"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 3 Oct 2017 18:46:52 +0000 (18:46 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 3 Oct 2017 18:46:52 +0000 (18:46 +0000)
commit059fdf444ebc254fe703d36c98397164b5dbd533
tree080936da3151be035aed833c71cd5190c95147a8
parent949dc920ee61e838320186565cb6dc146a013b25
parent3da079ec6fe8a1f2112e69295ba893afbf9c8f1e
Merge "Remove 'Browser default' editfont option"
includes/EditPage.php
includes/Preferences.php
languages/i18n/en.json
languages/i18n/qqq.json
resources/src/mediawiki.legacy/shared.css