dépôts / lhc / web / wiklou.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3896276) | patch
Revision history: Use `padding` for same rendering
authorVolker E <volker.e@wikimedia.org>
Wed, 8 May 2019 10:01:48 +0000 (03:01 -0700)
committerVolker E <volker.e@wikimedia.org>
Wed, 8 May 2019 10:01:48 +0000 (03:01 -0700)
commitfff5393079de72bdce144831dbbbc1a7d1faec5d
tree0acb95658b05c8286cf171ca25ff5153e9f40352tree | snapshot
parent38962766742bd4319027f8f8da5a7f908de05eedcommit | diff
Revision history: Use `padding` for same rendering

Replace `border` by `padding` to save some code while leaving
rendering unchanged. Follow-up to I71391cfd18f.

Change-Id: Ia0aa697afabbe9cdceee90805104d953468052f2
resources/src/mediawiki.action/mediawiki.action.history.styles.less diff | blob | history
Wiklou, le Wiki du Wiklou