jenkins-bot has submitted this change and it was merged.
Change subject: Delete skins/common/{ajax.js, wikibits.js,
images/{magnify-clip-rtl.png, redirectltr.png, redirectrtl.png}}
..
Delete skins/common/{ajax.js, wikibits.js, images/{magnify-clip-rtl.png,
redirectltr.png, redirectrtl.png}}
* ajax.js, wikibits.js:
Was kept for third parties. (user scripts etc.)
* redirectltr.png, redirectrtl.png:
Was kept for cached stylesheets, after I8fa565833545e41d02 removed
usage in MediaWiki core.
* magnify-clip-rtl.png:
Was kept for third parties. (user scripts etc.)
Bug: 69277
Change-Id: I54b170b557414e2f3cda4c85053cd0f2cbefc10d
---
D skins/common/ajax.js
D skins/common/images/magnify-clip-rtl.png
D skins/common/images/redirectltr.png
D skins/common/images/redirectrtl.png
D skins/common/wikibits.js
5 files changed, 0 insertions(+), 2 deletions(-)
Approvals:
Krinkle: Looks good to me, approved
Bartosz Dziewoński: Looks good to me, but someone else must approve
Jforrester: Looks good to me, but someone else must approve
jenkins-bot: Verified
diff --git a/skins/common/ajax.js b/skins/common/ajax.js
deleted file mode 12
index 6cf8d71..000
--- a/skins/common/ajax.js
+++ /dev/null
@@ -1 +0,0 @@
-../../resources/src/mediawiki.legacy/ajax.js
\ No newline at end of file
diff --git a/skins/common/images/magnify-clip-rtl.png
b/skins/common/images/magnify-clip-rtl.png
deleted file mode 100644
index ff85c07..000
--- a/skins/common/images/magnify-clip-rtl.png
+++ /dev/null
Binary files differ
diff --git a/skins/common/images/redirectltr.png
b/skins/common/images/redirectltr.png
deleted file mode 100644
index 695f2a1..000
--- a/skins/common/images/redirectltr.png
+++ /dev/null
Binary files differ
diff --git a/skins/common/images/redirectrtl.png
b/skins/common/images/redirectrtl.png
deleted file mode 100644
index c954a2a..000
--- a/skins/common/images/redirectrtl.png
+++ /dev/null
Binary files differ
diff --git a/skins/common/wikibits.js b/skins/common/wikibits.js
deleted file mode 12
index c86af5b..000
--- a/skins/common/wikibits.js
+++ /dev/null
@@ -1 +0,0 @@
-../../resources/src/mediawiki.legacy/wikibits.js
\ No newline at end of file
--
To view, visit https://gerrit.wikimedia.org/r/172256
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I54b170b557414e2f3cda4c85053cd0f2cbefc10d
Gerrit-PatchSet: 3
Gerrit-Project: mediawiki/core
Gerrit-Branch: master
Gerrit-Owner: Bartosz Dziewoński matma@gmail.com
Gerrit-Reviewer: Bartosz Dziewoński matma@gmail.com
Gerrit-Reviewer: Daniel Friesen dan...@nadir-seen-fire.com
Gerrit-Reviewer: Jack Phoenix j...@countervandalism.net
Gerrit-Reviewer: Jforrester jforres...@wikimedia.org
Gerrit-Reviewer: Krinkle krinklem...@gmail.com
Gerrit-Reviewer: Waldir wal...@email.com
Gerrit-Reviewer: jenkins-bot
___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
