jenkins-bot has submitted this change and it was merged.
Change subject: Remove unused files
......................................................................
Remove unused files
Change-Id: Ic76dd27af2522752cb2ad4cd72dbeb484b1bda1a
---
M extension.json
D modules/ext.ElectronPdfService.css
D modules/ext.ElectronPdfService.init.js
D modules/ext.ElectronPdfService.js
4 files changed, 0 insertions(+), 27 deletions(-)
Approvals:
WMDE-Fisch: Looks good to me, approved
Tobias Gritschacher: Looks good to me, approved
Addshore: Looks good to me, approved
Thiemo Mättig (WMDE): Looks good to me, but someone else must approve
jenkins-bot: Verified
diff --git a/extension.json b/extension.json
index 810ac04..1c22d04 100644
--- a/extension.json
+++ b/extension.json
@@ -35,17 +35,6 @@
]
},
"ResourceModules": {
- "ext.ElectronPdfService.init": {
- "scripts": [
- "modules/ext.ElectronPdfService.js",
- "modules/ext.ElectronPdfService.init.js"
- ],
- "styles": [
- "modules/ext.ElectronPdfService.css"
- ],
- "messages": [],
- "dependencies": []
- },
"ext.ElectronPdfService.special": {
"scripts": [
"modules/ext.ElectronPdfService.special.js"
diff --git a/modules/ext.ElectronPdfService.css
b/modules/ext.ElectronPdfService.css
deleted file mode 100644
index 4806220..0000000
--- a/modules/ext.ElectronPdfService.css
+++ /dev/null
@@ -1,3 +0,0 @@
-.mw-electronpdfservice-foo {
- float: left;
-}
diff --git a/modules/ext.ElectronPdfService.init.js
b/modules/ext.ElectronPdfService.init.js
deleted file mode 100644
index a18ebbb..0000000
--- a/modules/ext.ElectronPdfService.init.js
+++ /dev/null
@@ -1,3 +0,0 @@
-( function () {
-
-}() );
diff --git a/modules/ext.ElectronPdfService.js
b/modules/ext.ElectronPdfService.js
deleted file mode 100644
index c203f4b..0000000
--- a/modules/ext.ElectronPdfService.js
+++ /dev/null
@@ -1,10 +0,0 @@
-( function () {
-
- /**
- * @class mw.electronPdfService
- * @singleton
- */
- mw.electronPdfService = {
- };
-
-}() );
--
To view, visit https://gerrit.wikimedia.org/r/316821
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Ic76dd27af2522752cb2ad4cd72dbeb484b1bda1a
Gerrit-PatchSet: 2
Gerrit-Project: mediawiki/extensions/ElectronPdfService
Gerrit-Branch: master
Gerrit-Owner: WMDE-Fisch <[email protected]>
Gerrit-Reviewer: Addshore <[email protected]>
Gerrit-Reviewer: Thiemo Mättig (WMDE) <[email protected]>
Gerrit-Reviewer: Tobias Gritschacher <[email protected]>
Gerrit-Reviewer: WMDE-Fisch <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
