wikimedia/mediawiki-extensions-Popups
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Popups synced 2024-11-23 23:24:39 +00:00
Code Issues Packages Projects Releases Wiki Activity

Replace deprecated Less .box-shadow() mixin with standard CSS

Browse source 
Bug: T306488
Change-Id: I96cde6a39fb8547f49b8581d7dba5f9dbf8ba363
This commit is contained in:
Volker E 2022-04-19 21:05:13 -07:00
parent 8c68eae9d9
commit 2ffa3ff885
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/ui/templates/settingsDialog/settingsDialog.less
View file

@ -11,7 +11,7 @@
font-size: 14px; font-size: 14px;
header { header {
.box-sizing( border-box ); box-sizing: border-box;
border-bottom: 1px solid #c8ccd1; border-bottom: 1px solid #c8ccd1;
position: relative; position: relative;
display: table; display: table;