diff options
| author | Derk-Jan Hartman <hartman.wiki@gmail.com> | 2015-09-03 16:03:09 +0200 |
|---|---|---|
| committer | Derk-Jan Hartman <hartman.wiki@gmail.com> | 2015-09-03 16:16:30 +0200 |
| commit | 826ac5dc273563ead84adc68e8e09e9625dc3066 (patch) | |
| tree | 16c8cdfc044978d4f8c5d0b076aaaa28add18e61 /includes/media/DjVuImage.php | |
| parent | 4b7ba45d0c20609fc376b081ae80810e8d6e88d4 (diff) | |
| download | mediawikicore-826ac5dc273563ead84adc68e8e09e9625dc3066.tar.gz mediawikicore-826ac5dc273563ead84adc68e8e09e9625dc3066.zip | |
LivePreview: Prevent unnecessary DOM change for spinner
Removed the dynamic margin. Seemed rather pointless to me.
Change-Id: I28ecee5e11ac3a13f27c12839989fa295c9f1360
Diffstat (limited to 'includes/media/DjVuImage.php')
0 files changed, 0 insertions, 0 deletions