jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/341465 )
Change subject: RCFilters UI: Fix double-loading of mw.rcfilters.less ...................................................................... RCFilters UI: Fix double-loading of mw.rcfilters.less Change-Id: I424d4f84bb17a54980b311da7db9fdbb5ce56530 --- M resources/Resources.php 1 file changed, 0 insertions(+), 1 deletion(-) Approvals: jenkins-bot: Verified Mooeypoo: Looks good to me, approved diff --git a/resources/Resources.php b/resources/Resources.php index 67a3de5..793fe06 100644 --- a/resources/Resources.php +++ b/resources/Resources.php @@ -1787,7 +1787,6 @@ 'resources/src/mediawiki.rcfilters/styles/mw.rcfilters.variables.less', 'resources/src/mediawiki.rcfilters/styles/mw.rcfilters.ui.less', 'resources/src/mediawiki.rcfilters/styles/mw.rcfilters.ui.Overlay.less', - 'resources/src/mediawiki.rcfilters/styles/mw.rcfilters.less', 'resources/src/mediawiki.rcfilters/styles/mw.rcfilters.ui.FilterItemWidget.less', 'resources/src/mediawiki.rcfilters/styles/mw.rcfilters.ui.CapsuleItemWidget.less', 'resources/src/mediawiki.rcfilters/styles/mw.rcfilters.ui.FilterGroupWidget.less', -- To view, visit https://gerrit.wikimedia.org/r/341465 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I424d4f84bb17a54980b311da7db9fdbb5ce56530 Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/core Gerrit-Branch: master Gerrit-Owner: Catrope <r...@wikimedia.org> Gerrit-Reviewer: Jack Phoenix <j...@countervandalism.net> Gerrit-Reviewer: Mooeypoo <mor...@gmail.com> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits