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

Duplicate styles from 'mediawiki.special.search.styles'

Browse source 
The styles for #mw-searchoptions are currently missing on
Special:ReplaceText.

Also duplicate the style for .searchmatch to avoid the dependency on
core module 'mediawiki.special.search.styles'.

Change-Id: I846bae65fc87ba300b78932a9704ba6b639643c0
This commit is contained in:
Fomafix 2018-12-23 21:16:21 +01:00 committed by James D. Forrester
parent db88090ca6
commit 2a6d1866fd
2 changed files with 38 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

38
resources/ext.ReplaceTextStyles.css
View file

@ -2,6 +2,44 @@
margin-top: 20px;
}
.searchmatch {
font-weight: bold;
}
#mw-searchoptions {
/* Support: Firefox, needs `clear: both` on `fieldset` when zoom level > 100%, see T176499 */
clear: both;
padding: 0.5em 0.75em 0.75em 0.75em;
background-color: #f8f9fa;
margin: -1px 0 0;
border: 1px solid #c8ccd1;
border-radius: 0 0 2px 2px;
}
#mw-searchoptions h4 {
padding: 0;
margin: 0;
float: left;
}
#mw-searchoptions table {
float: left;
margin-right: 3em;
border-collapse: collapse;
}
#mw-searchoptions table td {
padding: 0 1em 0 0;
white-space: nowrap;
}
#mw-searchoptions .divider {
clear: both;
border-bottom: 1px solid #eaecf0;
padding-top: 0.5em;
margin-bottom: 0.5em;
}
#mw-search-togglebox {
float: right;
}

2
src/SpecialReplaceText.php
View file

@ -662,8 +662,6 @@ class SpecialReplaceText extends SpecialPage {
$out->addModules( "ext.ReplaceText" );
$out->addModuleStyles( "ext.ReplaceTextStyles" );
// Needed for bolding of search term.
$out->addModuleStyles( "mediawiki.special.search.styles" );
$linkRenderer = MediaWikiServices::getInstance()->getLinkRenderer();