Merge "WLFilters: convert mark as seen button to new style"

diff --combined resources/Resources.php
index 5aa166d,d504e60..c0c5d9e
--- 1/resources/Resources.php
--- 2/resources/Resources.php
+++ b/resources/Resources.php
@@@ -301,6 -301,10 +301,6 @@@ return 
                'scripts' => 'resources/src/jquery/jquery.mw-jump.js',
                'targets' => [ 'desktop', 'mobile' ],
        ],
 -      'jquery.mwExtension' => [
 -              'scripts' => 'resources/src/jquery/jquery.mwExtension.js',
 -              'targets' => [ 'desktop', 'mobile' ],
 -      ],
        'jquery.placeholder' => [
                'deprecated' => 'Use of "jquery.placeholder" is deprecated since MediaWiki 1.29.0',
  
@@@ -1795,6 -1799,7 +1795,7 @@@
                        'resources/src/mediawiki.rcfilters/ui/mw.rcfilters.ui.FilterItemHighlightButton.js',
                        'resources/src/mediawiki.rcfilters/ui/mw.rcfilters.ui.HighlightColorPickerWidget.js',
                        'resources/src/mediawiki.rcfilters/ui/mw.rcfilters.ui.LiveUpdateButtonWidget.js',
+                       'resources/src/mediawiki.rcfilters/ui/mw.rcfilters.ui.MarkSeenButtonWidget.js',
                        'resources/src/mediawiki.rcfilters/mw.rcfilters.HighlightColors.js',
                        'resources/src/mediawiki.rcfilters/mw.rcfilters.init.js',
                ],
@@@ -1885,6 -1890,7 +1886,7 @@@
                        'rcfilters-liveupdates-button',
                        'rcfilters-liveupdates-button-title-on',
                        'rcfilters-liveupdates-button-title-off',
+                       'rcfilters-watchlist-markSeen-button',
                        'rcfilters-other-review-tools',
                        'blanknamespace',
                        'namespaces',