jenkins-bot has submitted this change and it was merged. ( 
https://gerrit.wikimedia.org/r/307711 )

Change subject: Remove obsolete style-only module 
'mediawiki.action.history.diff'
......................................................................


Remove obsolete style-only module 'mediawiki.action.history.diff'

'mediawiki.diff.styles' should be used instead.

Depends-On: I638b23cd8bc67075e82517a0e1e435670db98a39
Depends-On: I9ed42fa8c5b4f57cc5dc99488a1f51bfcf601307
Depends-On: I739d4dc0e18fabc665a20b014381c4640802f891
Depends-On: I16d1755f0b8bb7bf64e381a2a6ec9589fa34e29c
Change-Id: Iafb0d2f97321efb7ae65e79825e9739790cb84e2
---
M resources/Resources.php
1 file changed, 0 insertions(+), 10 deletions(-)

Approvals:
  jenkins-bot: Verified
  Jforrester: Looks good to me, approved



diff --git a/resources/Resources.php b/resources/Resources.php
index 34b0836..265be9a 100644
--- a/resources/Resources.php
+++ b/resources/Resources.php
@@ -1463,16 +1463,6 @@
        'mediawiki.action.history.styles' => [
                'styles' => 
'resources/src/mediawiki.action/mediawiki.action.history.styles.css',
        ],
-       // using this module is deprecated, for diff styles use 
mediawiki.diff.styles instead
-       'mediawiki.action.history.diff' => [
-               'styles' => [
-                       'resources/src/mediawiki/mediawiki.diff.styles.css',
-                       
'resources/src/mediawiki/mediawiki.diff.styles.print.css' => [
-                               'media' => 'print'
-                       ],
-               ],
-               'targets' => [ 'desktop', 'mobile' ],
-       ],
        'mediawiki.action.view.dblClickEdit' => [
                'scripts' => 
'resources/src/mediawiki.action/mediawiki.action.view.dblClickEdit.js',
                'dependencies' => [

-- 
To view, visit https://gerrit.wikimedia.org/r/307711
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: Iafb0d2f97321efb7ae65e79825e9739790cb84e2
Gerrit-PatchSet: 3
Gerrit-Project: mediawiki/core
Gerrit-Branch: master
Gerrit-Owner: WMDE-leszek <[email protected]>
Gerrit-Reviewer: Fomafix <[email protected]>
Gerrit-Reviewer: Jack Phoenix <[email protected]>
Gerrit-Reviewer: Jforrester <[email protected]>
Gerrit-Reviewer: Legoktm <[email protected]>
Gerrit-Reviewer: Nikerabbit <[email protected]>
Gerrit-Reviewer: WMDE-leszek <[email protected]>
Gerrit-Reviewer: jenkins-bot <>

_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

Reply via email to