From 82337cd3bdc0263e5123c603149a517c72f9c897 Mon Sep 17 00:00:00 2001
From: Ed Sanders <esanders@wikimedia.org>
Date: Tue, 10 Apr 2018 11:27:06 +0100
Subject: [PATCH] Add padding to popup tag widget

Bug: T191883
Change-Id: Ie24a1d99788d7e40df790d123bbfd4adb0524fe6
---
 resources/src/mediawiki.special/mediawiki.special.apisandbox.js | 1 +
 1 file changed, 1 insertion(+)

diff --git a/resources/src/mediawiki.special/mediawiki.special.apisandbox.js b/resources/src/mediawiki.special/mediawiki.special.apisandbox.js
index 516551c1c7..a7470da768 100644
--- a/resources/src/mediawiki.special/mediawiki.special.apisandbox.js
+++ b/resources/src/mediawiki.special/mediawiki.special.apisandbox.js
@@ -614,6 +614,7 @@
 					$overlay: true,
 					popup: {
 						classes: [ 'mw-apisandbox-popup' ],
+						padded: true,
 						$content: $content
 					}
 				} );
-- 
2.20.1