From 749788ff4e9aac3df5b44b63a23350a436509108 Mon Sep 17 00:00:00 2001 From: jdlrobson Date: Thu, 28 Mar 2019 15:07:36 -0700 Subject: [PATCH] Enable mediawiki.checkboxtoggle on mobile There is no reason for this to be excluded by the targets system and it is needed for the history page on mobile Change-Id: I3edd053372c0754d684ed3091ca43d40cee26165 --- resources/Resources.php | 2 ++ 1 file changed, 2 insertions(+) diff --git a/resources/Resources.php b/resources/Resources.php index 3f12dc62ce..28d6a8750f 100644 --- a/resources/Resources.php +++ b/resources/Resources.php @@ -1335,9 +1335,11 @@ return [ 'targets' => [ 'desktop', 'mobile' ], ], 'mediawiki.checkboxtoggle' => [ + 'targets' => [ 'desktop', 'mobile' ], 'scripts' => 'resources/src/mediawiki.checkboxtoggle.js', ], 'mediawiki.checkboxtoggle.styles' => [ + 'targets' => [ 'desktop', 'mobile' ], 'styles' => 'resources/src/mediawiki.checkboxtoggle.styles.css', ], 'mediawiki.cookie' => [ -- 2.20.1