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

Merge "Migrate bare division math to parens division"

Browse source
This commit is contained in:
jenkins-bot 2024-08-07 19:13:15 +00:00 committed by Gerrit Code Review
parent a9fc542699 bfcb00583a
commit 280e9fb6a7
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

@ -76,7 +76,7 @@
&::before {
// stylelint-disable-next-line declaration-no-important
top: 1.5625em / 2 !important;
top: ( 1.5625em / 2 ) !important;
}
}
}