Merge "Revert "Move CSS for patrol from mediawiki.legacy to new module mediawiki...

[lhc/web/wiklou.git] / resources / Resources.php

diff --git a/resources/Resources.php b/resources/Resources.php
index 053c3f3..d210aab 100644 (file)
--- a/resources/Resources.php
+++ b/resources/Resources.php
@@ -1707,14 +1707,6 @@ return [
                'position' => 'top',
                'targets' => [ 'desktop', 'mobile' ],
        ],
-       'mediawiki.page.patrol' => [
-               'position' => 'top',
-               'styles' => [
-                       'resources/src/mediawiki/page/mediawiki.page.patrol.css',
-                       'resources/src/mediawiki/page/mediawiki.page.patrol.print.css'
-                               => [ 'media' => 'print' ],
-               ]
-       ],
        'mediawiki.page.patrol.ajax' => [
                'scripts' => 'resources/src/mediawiki/page/patrol.ajax.js',
                'dependencies' => [