Remove 'Browser default' editfont option
authorEd Sanders <esanders@wikimedia.org>
Fri, 25 Aug 2017 17:35:53 +0000 (18:35 +0100)
committerEd Sanders <esanders@wikimedia.org>
Fri, 25 Aug 2017 17:35:53 +0000 (18:35 +0100)
commit3da079ec6fe8a1f2112e69295ba893afbf9c8f1e
tree7a8a2c03342964c75608bd28c927b64c08bfab0c
parented1966c1ed85f7ec713dc252f8c526b8f0e42505
Remove 'Browser default' editfont option

Bug: T170223
Change-Id: I1ace59c980740fc785ccbd500e19cc8b71d46a5b
includes/EditPage.php
includes/Preferences.php
languages/i18n/en.json
languages/i18n/qqq.json
resources/src/mediawiki.legacy/shared.css