Bartosz Dziewoński has uploaded a new change for review.
https://gerrit.wikimedia.org/r/148304
Change subject: Vector: Make better use of $wgResourceModuleSkinStyles
......................................................................
Vector: Make better use of $wgResourceModuleSkinStyles
This gets rid of quite a lot of Vector from Resources.php and resources/.
* New $wgResourceModuleSkinStyles entries:
* jquery.tipsy: Split off skins/Vector/skinStyles/jquery.tipsy.less
from skins/Vector/components/common.less. It's just one rule, but
let's do it for consistency anyway.
* jquery.ui.*: Converted from Resources.php.
Files renamed: resources/src/jquery.ui-themes/vector/**
› skins/Vector/skinStyles/jquery.ui/**
* mediawiki.notification: Needs some sanity later. Only renamed
skins/Vector/components/notifications.less
› skins/Vector/skinStyles/mediawiki.notification.less
* Updated $wgResourceModuleSkinStyles entries:
* mediawiki.special: Renamed file for consistency,
skins/Vector/special.less
› skins/Vector/skinStyles/mediawiki.special.less
* mediawiki.special.preferences: Renamed file for consistency,
skins/Vector/special.preferences.less
› skins/Vector/skinStyles/mediawiki.special.preferences.less
Change-Id: If248781e44300039eb52262d03b2f6722838dd12
---
M resources/Resources.php
M skins/Vector/Vector.php
M skins/Vector/components/common.less
A skins/Vector/skinStyles/jquery.tipsy.less
R skins/Vector/skinStyles/jquery.ui/images/close.png
R skins/Vector/skinStyles/jquery.ui/images/titlebar-fade.png
R skins/Vector/skinStyles/jquery.ui/images/ui-anim_basic_16x16.gif
R skins/Vector/skinStyles/jquery.ui/images/ui-bg_flat_15_cd0a0a_40x100.png
R skins/Vector/skinStyles/jquery.ui/images/ui-bg_flat_70_000000_40x100.png
R
skins/Vector/skinStyles/jquery.ui/images/ui-bg_highlight-hard_100_f2f5f7_1x100.png
R
skins/Vector/skinStyles/jquery.ui/images/ui-bg_highlight-hard_80_d7ebf9_1x100.png
R
skins/Vector/skinStyles/jquery.ui/images/ui-bg_highlight-soft_100_e4f1fb_1x100.png
R
skins/Vector/skinStyles/jquery.ui/images/ui-bg_highlight-soft_100_ffffff_1x100.png
R
skins/Vector/skinStyles/jquery.ui/images/ui-bg_highlight-soft_25_ffef8f_1x100.png
R skins/Vector/skinStyles/jquery.ui/images/ui-bg_inset-hard_100_f0f0f0_1x100.png
R skins/Vector/skinStyles/jquery.ui/images/ui-icons_2694e8_256x240.png
R skins/Vector/skinStyles/jquery.ui/images/ui-icons_2e83ff_256x240.png
R skins/Vector/skinStyles/jquery.ui/images/ui-icons_3d80b3_256x240.png
R skins/Vector/skinStyles/jquery.ui/images/ui-icons_666666_256x240.png
R skins/Vector/skinStyles/jquery.ui/images/ui-icons_72a7cf_256x240.png
R skins/Vector/skinStyles/jquery.ui/images/ui-icons_ffffff_256x240.png
R skins/Vector/skinStyles/jquery.ui/jquery.ui.accordion.css
R skins/Vector/skinStyles/jquery.ui/jquery.ui.autocomplete.css
R skins/Vector/skinStyles/jquery.ui/jquery.ui.button.css
R skins/Vector/skinStyles/jquery.ui/jquery.ui.core.css
R skins/Vector/skinStyles/jquery.ui/jquery.ui.datepicker.css
R skins/Vector/skinStyles/jquery.ui/jquery.ui.dialog.css
R skins/Vector/skinStyles/jquery.ui/jquery.ui.progressbar.css
R skins/Vector/skinStyles/jquery.ui/jquery.ui.resizable.css
R skins/Vector/skinStyles/jquery.ui/jquery.ui.selectable.css
R skins/Vector/skinStyles/jquery.ui/jquery.ui.slider.css
R skins/Vector/skinStyles/jquery.ui/jquery.ui.tabs.css
R skins/Vector/skinStyles/jquery.ui/jquery.ui.theme.css
R skins/Vector/skinStyles/mediawiki.notification.less
R skins/Vector/skinStyles/mediawiki.special.less
R skins/Vector/skinStyles/mediawiki.special.preferences.less
36 files changed, 22 insertions(+), 22 deletions(-)
git pull ssh://gerrit.wikimedia.org:29418/mediawiki/core
refs/changes/04/148304/1
diff --git a/resources/Resources.php b/resources/Resources.php
index c103fca..0f144c9 100644
--- a/resources/Resources.php
+++ b/resources/Resources.php
@@ -329,10 +329,6 @@
'resources/lib/jquery.ui/themes/smoothness/jquery.ui.core.css',
'resources/lib/jquery.ui/themes/smoothness/jquery.ui.theme.css',
),
- 'vector' => array(
-
'resources/src/jquery.ui-themes/vector/jquery.ui.core.css',
-
'resources/src/jquery.ui-themes/vector/jquery.ui.theme.css',
- ),
),
'group' => 'jquery.ui',
),
@@ -344,7 +340,6 @@
),
'skinStyles' => array(
'default' =>
'resources/lib/jquery.ui/themes/smoothness/jquery.ui.accordion.css',
- 'vector' =>
'resources/src/jquery.ui-themes/vector/jquery.ui.accordion.css',
),
'group' => 'jquery.ui',
),
@@ -358,7 +353,6 @@
),
'skinStyles' => array(
'default' =>
'resources/lib/jquery.ui/themes/smoothness/jquery.ui.autocomplete.css',
- 'vector' =>
'resources/src/jquery.ui-themes/vector/jquery.ui.autocomplete.css',
),
'group' => 'jquery.ui',
),
@@ -370,7 +364,6 @@
),
'skinStyles' => array(
'default' =>
'resources/lib/jquery.ui/themes/smoothness/jquery.ui.button.css',
- 'vector' =>
'resources/src/jquery.ui-themes/vector/jquery.ui.button.css',
),
'group' => 'jquery.ui',
),
@@ -379,7 +372,6 @@
'dependencies' => 'jquery.ui.core',
'skinStyles' => array(
'default' =>
'resources/lib/jquery.ui/themes/smoothness/jquery.ui.datepicker.css',
- 'vector' =>
'resources/src/jquery.ui-themes/vector/jquery.ui.datepicker.css',
),
'languageScripts' => array(
'af' =>
'resources/lib/jquery.ui/i18n/jquery.ui.datepicker-af.js',
@@ -465,7 +457,6 @@
),
'skinStyles' => array(
'default' =>
'resources/lib/jquery.ui/themes/smoothness/jquery.ui.dialog.css',
- 'vector' =>
'resources/src/jquery.ui-themes/vector/jquery.ui.dialog.css',
),
'group' => 'jquery.ui',
),
@@ -517,7 +508,6 @@
),
'skinStyles' => array(
'default' =>
'resources/lib/jquery.ui/themes/smoothness/jquery.ui.progressbar.css',
- 'vector' =>
'resources/src/jquery.ui-themes/vector/jquery.ui.progressbar.css',
),
'group' => 'jquery.ui',
),
@@ -530,7 +520,6 @@
),
'skinStyles' => array(
'default' =>
'resources/lib/jquery.ui/themes/smoothness/jquery.ui.resizable.css',
- 'vector' =>
'resources/src/jquery.ui-themes/vector/jquery.ui.resizable.css',
),
'group' => 'jquery.ui',
),
@@ -543,7 +532,6 @@
),
'skinStyles' => array(
'default' =>
'resources/lib/jquery.ui/themes/smoothness/jquery.ui.selectable.css',
- 'vector' =>
'resources/src/jquery.ui-themes/vector/jquery.ui.selectable.css',
),
'group' => 'jquery.ui',
),
@@ -556,7 +544,6 @@
),
'skinStyles' => array(
'default' =>
'resources/lib/jquery.ui/themes/smoothness/jquery.ui.slider.css',
- 'vector' =>
'resources/src/jquery.ui-themes/vector/jquery.ui.slider.css',
),
'group' => 'jquery.ui',
),
@@ -589,7 +576,6 @@
),
'skinStyles' => array(
'default' =>
'resources/lib/jquery.ui/themes/smoothness/jquery.ui.tabs.css',
- 'vector' =>
'resources/src/jquery.ui-themes/vector/jquery.ui.tabs.css',
),
'group' => 'jquery.ui',
),
diff --git a/skins/Vector/Vector.php b/skins/Vector/Vector.php
index abcc65d..0f24bf3 100644
--- a/skins/Vector/Vector.php
+++ b/skins/Vector/Vector.php
@@ -65,8 +65,24 @@
// Apply module customizations
$wgResourceModuleSkinStyles['vector'] = array(
- 'mediawiki.special' => 'special.less',
- 'mediawiki.special.preferences' => 'special.preferences.less',
+ 'jquery.tipsy' => 'skinStyles/tipsy.less',
+ 'jquery.ui.core' => array(
+ 'skinStyles/jquery.ui/jquery.ui.core.css',
+ 'skinStyles/jquery.ui/jquery.ui.theme.css',
+ ),
+ 'jquery.ui.accordion' => 'skinStyles/jquery.ui/jquery.ui.accordion.css',
+ 'jquery.ui.autocomplete' =>
'skinStyles/jquery.ui/jquery.ui.autocomplete.css',
+ 'jquery.ui.button' => 'skinStyles/jquery.ui/jquery.ui.button.css',
+ 'jquery.ui.datepicker' =>
'skinStyles/jquery.ui/jquery.ui.datepicker.css',
+ 'jquery.ui.dialog' => 'skinStyles/jquery.ui/jquery.ui.dialog.css',
+ 'jquery.ui.progressbar' =>
'skinStyles/jquery.ui/jquery.ui.progressbar.css',
+ 'jquery.ui.resizable' => 'skinStyles/jquery.ui/jquery.ui.resizable.css',
+ 'jquery.ui.selectable' =>
'skinStyles/jquery.ui/jquery.ui.selectable.css',
+ 'jquery.ui.slider' => 'skinStyles/jquery.ui/jquery.ui.slider.css',
+ 'jquery.ui.tabs' => 'skinStyles/jquery.ui/jquery.ui.tabs.css',
+ 'mediawiki.notification' => 'skinStyles/mediawiki.notification.less',
+ 'mediawiki.special' => 'skinStyles/mediawiki.special.less',
+ 'mediawiki.special.preferences' =>
'skinStyles/mediawiki.special.preferences.less',
'remoteSkinPath' => 'Vector',
'localBasePath' => __DIR__,
);
diff --git a/skins/Vector/components/common.less
b/skins/Vector/components/common.less
index 33cd230..1aee34d 100644
--- a/skins/Vector/components/common.less
+++ b/skins/Vector/components/common.less
@@ -132,9 +132,3 @@
line-height: @content-line-height;
font-size: @content-font-size;
}
-
-/* Tooltips are outside of the normal body code, so this helps make the size
of the text sensible */
-// FIXME: Should be part of jquery.tipsy.css
-.tipsy {
- font-size: 0.8em;
-}
diff --git a/skins/Vector/skinStyles/jquery.tipsy.less
b/skins/Vector/skinStyles/jquery.tipsy.less
new file mode 100644
index 0000000..0e0c8ec
--- /dev/null
+++ b/skins/Vector/skinStyles/jquery.tipsy.less
@@ -0,0 +1,4 @@
+/* Tooltips are outside of the normal body code, so this helps make the size
of the text sensible */
+.tipsy {
+ font-size: 0.8em;
+}
diff --git a/resources/src/jquery.ui-themes/vector/images/close.png
b/skins/Vector/skinStyles/jquery.ui/images/close.png
similarity index 100%
rename from resources/src/jquery.ui-themes/vector/images/close.png
rename to skins/Vector/skinStyles/jquery.ui/images/close.png
Binary files differ
diff --git a/resources/src/jquery.ui-themes/vector/images/titlebar-fade.png
b/skins/Vector/skinStyles/jquery.ui/images/titlebar-fade.png
similarity index 100%
rename from resources/src/jquery.ui-themes/vector/images/titlebar-fade.png
rename to skins/Vector/skinStyles/jquery.ui/images/titlebar-fade.png
Binary files differ
diff --git
a/resources/src/jquery.ui-themes/vector/images/ui-anim_basic_16x16.gif
b/skins/Vector/skinStyles/jquery.ui/images/ui-anim_basic_16x16.gif
similarity index 100%
rename from resources/src/jquery.ui-themes/vector/images/ui-anim_basic_16x16.gif
rename to skins/Vector/skinStyles/jquery.ui/images/ui-anim_basic_16x16.gif
Binary files differ
diff --git
a/resources/src/jquery.ui-themes/vector/images/ui-bg_flat_15_cd0a0a_40x100.png
b/skins/Vector/skinStyles/jquery.ui/images/ui-bg_flat_15_cd0a0a_40x100.png
similarity index 100%
rename from
resources/src/jquery.ui-themes/vector/images/ui-bg_flat_15_cd0a0a_40x100.png
rename to
skins/Vector/skinStyles/jquery.ui/images/ui-bg_flat_15_cd0a0a_40x100.png
Binary files differ
diff --git
a/resources/src/jquery.ui-themes/vector/images/ui-bg_flat_70_000000_40x100.png
b/skins/Vector/skinStyles/jquery.ui/images/ui-bg_flat_70_000000_40x100.png
similarity index 100%
rename from
resources/src/jquery.ui-themes/vector/images/ui-bg_flat_70_000000_40x100.png
rename to
skins/Vector/skinStyles/jquery.ui/images/ui-bg_flat_70_000000_40x100.png
Binary files differ
diff --git
a/resources/src/jquery.ui-themes/vector/images/ui-bg_highlight-hard_100_f2f5f7_1x100.png
b/skins/Vector/skinStyles/jquery.ui/images/ui-bg_highlight-hard_100_f2f5f7_1x100.png
similarity index 100%
rename from
resources/src/jquery.ui-themes/vector/images/ui-bg_highlight-hard_100_f2f5f7_1x100.png
rename to
skins/Vector/skinStyles/jquery.ui/images/ui-bg_highlight-hard_100_f2f5f7_1x100.png
Binary files differ
diff --git
a/resources/src/jquery.ui-themes/vector/images/ui-bg_highlight-hard_80_d7ebf9_1x100.png
b/skins/Vector/skinStyles/jquery.ui/images/ui-bg_highlight-hard_80_d7ebf9_1x100.png
similarity index 100%
rename from
resources/src/jquery.ui-themes/vector/images/ui-bg_highlight-hard_80_d7ebf9_1x100.png
rename to
skins/Vector/skinStyles/jquery.ui/images/ui-bg_highlight-hard_80_d7ebf9_1x100.png
Binary files differ
diff --git
a/resources/src/jquery.ui-themes/vector/images/ui-bg_highlight-soft_100_e4f1fb_1x100.png
b/skins/Vector/skinStyles/jquery.ui/images/ui-bg_highlight-soft_100_e4f1fb_1x100.png
similarity index 100%
rename from
resources/src/jquery.ui-themes/vector/images/ui-bg_highlight-soft_100_e4f1fb_1x100.png
rename to
skins/Vector/skinStyles/jquery.ui/images/ui-bg_highlight-soft_100_e4f1fb_1x100.png
Binary files differ
diff --git
a/resources/src/jquery.ui-themes/vector/images/ui-bg_highlight-soft_100_ffffff_1x100.png
b/skins/Vector/skinStyles/jquery.ui/images/ui-bg_highlight-soft_100_ffffff_1x100.png
similarity index 100%
rename from
resources/src/jquery.ui-themes/vector/images/ui-bg_highlight-soft_100_ffffff_1x100.png
rename to
skins/Vector/skinStyles/jquery.ui/images/ui-bg_highlight-soft_100_ffffff_1x100.png
Binary files differ
diff --git
a/resources/src/jquery.ui-themes/vector/images/ui-bg_highlight-soft_25_ffef8f_1x100.png
b/skins/Vector/skinStyles/jquery.ui/images/ui-bg_highlight-soft_25_ffef8f_1x100.png
similarity index 100%
rename from
resources/src/jquery.ui-themes/vector/images/ui-bg_highlight-soft_25_ffef8f_1x100.png
rename to
skins/Vector/skinStyles/jquery.ui/images/ui-bg_highlight-soft_25_ffef8f_1x100.png
Binary files differ
diff --git
a/resources/src/jquery.ui-themes/vector/images/ui-bg_inset-hard_100_f0f0f0_1x100.png
b/skins/Vector/skinStyles/jquery.ui/images/ui-bg_inset-hard_100_f0f0f0_1x100.png
similarity index 100%
rename from
resources/src/jquery.ui-themes/vector/images/ui-bg_inset-hard_100_f0f0f0_1x100.png
rename to
skins/Vector/skinStyles/jquery.ui/images/ui-bg_inset-hard_100_f0f0f0_1x100.png
Binary files differ
diff --git
a/resources/src/jquery.ui-themes/vector/images/ui-icons_2694e8_256x240.png
b/skins/Vector/skinStyles/jquery.ui/images/ui-icons_2694e8_256x240.png
similarity index 100%
rename from
resources/src/jquery.ui-themes/vector/images/ui-icons_2694e8_256x240.png
rename to skins/Vector/skinStyles/jquery.ui/images/ui-icons_2694e8_256x240.png
Binary files differ
diff --git
a/resources/src/jquery.ui-themes/vector/images/ui-icons_2e83ff_256x240.png
b/skins/Vector/skinStyles/jquery.ui/images/ui-icons_2e83ff_256x240.png
similarity index 100%
rename from
resources/src/jquery.ui-themes/vector/images/ui-icons_2e83ff_256x240.png
rename to skins/Vector/skinStyles/jquery.ui/images/ui-icons_2e83ff_256x240.png
Binary files differ
diff --git
a/resources/src/jquery.ui-themes/vector/images/ui-icons_3d80b3_256x240.png
b/skins/Vector/skinStyles/jquery.ui/images/ui-icons_3d80b3_256x240.png
similarity index 100%
rename from
resources/src/jquery.ui-themes/vector/images/ui-icons_3d80b3_256x240.png
rename to skins/Vector/skinStyles/jquery.ui/images/ui-icons_3d80b3_256x240.png
Binary files differ
diff --git
a/resources/src/jquery.ui-themes/vector/images/ui-icons_666666_256x240.png
b/skins/Vector/skinStyles/jquery.ui/images/ui-icons_666666_256x240.png
similarity index 100%
rename from
resources/src/jquery.ui-themes/vector/images/ui-icons_666666_256x240.png
rename to skins/Vector/skinStyles/jquery.ui/images/ui-icons_666666_256x240.png
Binary files differ
diff --git
a/resources/src/jquery.ui-themes/vector/images/ui-icons_72a7cf_256x240.png
b/skins/Vector/skinStyles/jquery.ui/images/ui-icons_72a7cf_256x240.png
similarity index 100%
rename from
resources/src/jquery.ui-themes/vector/images/ui-icons_72a7cf_256x240.png
rename to skins/Vector/skinStyles/jquery.ui/images/ui-icons_72a7cf_256x240.png
Binary files differ
diff --git
a/resources/src/jquery.ui-themes/vector/images/ui-icons_ffffff_256x240.png
b/skins/Vector/skinStyles/jquery.ui/images/ui-icons_ffffff_256x240.png
similarity index 100%
rename from
resources/src/jquery.ui-themes/vector/images/ui-icons_ffffff_256x240.png
rename to skins/Vector/skinStyles/jquery.ui/images/ui-icons_ffffff_256x240.png
Binary files differ
diff --git a/resources/src/jquery.ui-themes/vector/jquery.ui.accordion.css
b/skins/Vector/skinStyles/jquery.ui/jquery.ui.accordion.css
similarity index 100%
rename from resources/src/jquery.ui-themes/vector/jquery.ui.accordion.css
rename to skins/Vector/skinStyles/jquery.ui/jquery.ui.accordion.css
diff --git a/resources/src/jquery.ui-themes/vector/jquery.ui.autocomplete.css
b/skins/Vector/skinStyles/jquery.ui/jquery.ui.autocomplete.css
similarity index 100%
rename from resources/src/jquery.ui-themes/vector/jquery.ui.autocomplete.css
rename to skins/Vector/skinStyles/jquery.ui/jquery.ui.autocomplete.css
diff --git a/resources/src/jquery.ui-themes/vector/jquery.ui.button.css
b/skins/Vector/skinStyles/jquery.ui/jquery.ui.button.css
similarity index 100%
rename from resources/src/jquery.ui-themes/vector/jquery.ui.button.css
rename to skins/Vector/skinStyles/jquery.ui/jquery.ui.button.css
diff --git a/resources/src/jquery.ui-themes/vector/jquery.ui.core.css
b/skins/Vector/skinStyles/jquery.ui/jquery.ui.core.css
similarity index 100%
rename from resources/src/jquery.ui-themes/vector/jquery.ui.core.css
rename to skins/Vector/skinStyles/jquery.ui/jquery.ui.core.css
diff --git a/resources/src/jquery.ui-themes/vector/jquery.ui.datepicker.css
b/skins/Vector/skinStyles/jquery.ui/jquery.ui.datepicker.css
similarity index 100%
rename from resources/src/jquery.ui-themes/vector/jquery.ui.datepicker.css
rename to skins/Vector/skinStyles/jquery.ui/jquery.ui.datepicker.css
diff --git a/resources/src/jquery.ui-themes/vector/jquery.ui.dialog.css
b/skins/Vector/skinStyles/jquery.ui/jquery.ui.dialog.css
similarity index 100%
rename from resources/src/jquery.ui-themes/vector/jquery.ui.dialog.css
rename to skins/Vector/skinStyles/jquery.ui/jquery.ui.dialog.css
diff --git a/resources/src/jquery.ui-themes/vector/jquery.ui.progressbar.css
b/skins/Vector/skinStyles/jquery.ui/jquery.ui.progressbar.css
similarity index 100%
rename from resources/src/jquery.ui-themes/vector/jquery.ui.progressbar.css
rename to skins/Vector/skinStyles/jquery.ui/jquery.ui.progressbar.css
diff --git a/resources/src/jquery.ui-themes/vector/jquery.ui.resizable.css
b/skins/Vector/skinStyles/jquery.ui/jquery.ui.resizable.css
similarity index 100%
rename from resources/src/jquery.ui-themes/vector/jquery.ui.resizable.css
rename to skins/Vector/skinStyles/jquery.ui/jquery.ui.resizable.css
diff --git a/resources/src/jquery.ui-themes/vector/jquery.ui.selectable.css
b/skins/Vector/skinStyles/jquery.ui/jquery.ui.selectable.css
similarity index 100%
rename from resources/src/jquery.ui-themes/vector/jquery.ui.selectable.css
rename to skins/Vector/skinStyles/jquery.ui/jquery.ui.selectable.css
diff --git a/resources/src/jquery.ui-themes/vector/jquery.ui.slider.css
b/skins/Vector/skinStyles/jquery.ui/jquery.ui.slider.css
similarity index 100%
rename from resources/src/jquery.ui-themes/vector/jquery.ui.slider.css
rename to skins/Vector/skinStyles/jquery.ui/jquery.ui.slider.css
diff --git a/resources/src/jquery.ui-themes/vector/jquery.ui.tabs.css
b/skins/Vector/skinStyles/jquery.ui/jquery.ui.tabs.css
similarity index 100%
rename from resources/src/jquery.ui-themes/vector/jquery.ui.tabs.css
rename to skins/Vector/skinStyles/jquery.ui/jquery.ui.tabs.css
diff --git a/resources/src/jquery.ui-themes/vector/jquery.ui.theme.css
b/skins/Vector/skinStyles/jquery.ui/jquery.ui.theme.css
similarity index 100%
rename from resources/src/jquery.ui-themes/vector/jquery.ui.theme.css
rename to skins/Vector/skinStyles/jquery.ui/jquery.ui.theme.css
diff --git a/skins/Vector/components/notifications.less
b/skins/Vector/skinStyles/mediawiki.notification.less
similarity index 100%
rename from skins/Vector/components/notifications.less
rename to skins/Vector/skinStyles/mediawiki.notification.less
diff --git a/skins/Vector/special.less
b/skins/Vector/skinStyles/mediawiki.special.less
similarity index 100%
rename from skins/Vector/special.less
rename to skins/Vector/skinStyles/mediawiki.special.less
diff --git a/skins/Vector/special.preferences.less
b/skins/Vector/skinStyles/mediawiki.special.preferences.less
similarity index 100%
rename from skins/Vector/special.preferences.less
rename to skins/Vector/skinStyles/mediawiki.special.preferences.less
--
To view, visit https://gerrit.wikimedia.org/r/148304
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: newchange
Gerrit-Change-Id: If248781e44300039eb52262d03b2f6722838dd12
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/core
Gerrit-Branch: master
Gerrit-Owner: Bartosz Dziewoński <[email protected]>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
