mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/ReplaceText
synced 2024-12-18 09:11:42 +00:00
57a0db123b
This improves the colors for the search options section in dark mode. Before, the section had white and gray text on a white background. The divider border color is now slightly different since there is no codex token that exactly matches the color that was hardcoded before, but the difference is barely visible. Bug: T380656 Change-Id: Id04073e85866ecc415e5d17fab926749937793b8 |
||
---|---|---|
.. | ||
ext.ReplaceText.js | ||
ext.ReplaceTextStyles.less |