Ed Sanders 7a2d1a3f57 Follow-up I07dd6f7: Fix font size in diff ... In creating a new diff-editfont-* class the font-size normalization of mw-editfont-* was not copied over. This increases the size slightly from 14/.88 = 12.32px to 13px. Bug: T250393 Change-Id: Idd9164e2c5a327b8a23f09117d08227c7f07a261		2020-04-30 23:32:02 +01:00
..
assets	Update you-should-set-a-logo reminder to point to $wgLogos, not $wgLogo	2020-02-24 18:52:07 +00:00
lib	ooui: Fix ButtonWidget jsduck demo	2020-04-21 15:23:50 +00:00
src	Follow-up I07dd6f7: Fix font size in diff	2020-04-30 23:32:02 +01:00
Resources.php	Follow-up I07dd6f78: Use correct font on live preview of changes	2020-04-30 16:43:10 +01:00