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

Merge "Table of contents style tweaks"

Browse source
This commit is contained in:
jenkins-bot 2022-09-05 21:43:06 +00:00 committed by Gerrit Code Review
parent f5b7f72a38 5c7cf02457
commit 1c624210f4
2 changed files with 3 additions and 9 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
includes/CommentFormatter.php
View file

@ -82,7 +82,7 @@ class CommentFormatter {
$summary = Html::element( 'span', [
'class' => 'ext-discussiontools-init-sidebar-meta'
], wfMessage( 'parentheses', $commentCount )->inLanguage( $lang )->text() );
], $commentCount );
// This also shows up in API action=parse&prop=sections output.
$item['html-summary'] = $summary;

10
modules/dt.init.less
View file

@ -325,19 +325,13 @@ h1, h2, h3, h4, h5, h6 {
display: block;
}
// stylelint-disable-next-line selector-class-pattern
.sidebar-toc .sidebar-toc-text {
display: inline;
}
// stylelint-disable-next-line selector-class-pattern
.sidebar-toc .sidebar-toc-list-item {
padding-top: 4px;
padding-bottom: 4px;
margin: 8px 0;
}
.ext-discussiontools-init-sidebar-meta {
display: inline;
display: block;
color: #666;
white-space: nowrap;
font-size: 0.875em;