wikimedia/mediawiki-extensions-DiscussionTools
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/DiscussionTools synced 2024-11-14 19:35:38 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge "LedeSectionDialog: Fix double scrollbars in some cases"

Browse source
This commit is contained in:
jenkins-bot 2023-02-16 20:03:12 +00:00 committed by Gerrit Code Review
parent d3c451097b 4b7ba72c83
commit b384a7ffc6
1 changed files with 0 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
modules/LedeSectionDialog.js
View file

@ -24,7 +24,6 @@ LedeSectionDialog.prototype.initialize = function () {
LedeSectionDialog.super.prototype.initialize.call( this );
this.contentLayout = new OO.ui.PanelLayout( {
scrollable: true,
padded: true,
expanded: false,
classes: [ 'ext-discussiontools-ui-ledeSectionDialog-content', 'mw-parser-output', 'content' ]