wikimedia/mediawiki-extensions-DiscussionTools
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/DiscussionTools synced 2024-11-28 18:21:50 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge "Group comment warnings in DOM so they don't break alternate colours"

Browse source
This commit is contained in:
jenkins-bot 2020-11-17 10:33:59 +00:00 committed by Gerrit Code Review
parent 6c8d14e88a 2328a3cad0
commit 36bd857b81
1 changed files with 8 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

10
modules/highlighter.js
View file

@ -1,6 +1,6 @@
'use strict';
var initialOffset, indentWidth;
var initialOffset, indentWidth, firstMarker;
function markTimestamp( parser, node, match ) {
var
@ -83,11 +83,17 @@ function markComment( comment ) {
marker.style.left = ( rect.left + scrollLeft ) + 'px';
marker.style.width = ( rect.width ) + 'px';
if ( !firstMarker ) {
firstMarker = marker;
}
if ( comment.warnings && comment.warnings.length ) {
markerWarnings = marker.cloneNode( false );
markerWarnings.className = 'detected-comment-warnings';
markerWarnings.innerText = comment.warnings.join( '\n' );
document.body.appendChild( markerWarnings );
// Group warnings at the top as we use nth-child selectors
// to alternate color of markers.
document.body.insertBefore( markerWarnings, firstMarker );
}
document.body.appendChild( marker );