jenkins-bot has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/344200 )
Change subject: Use tabs to indent in json
......................................................................
Use tabs to indent in json
Change-Id: Idc0159b9e77ad134b8b9791e31daec50307f9ed1
---
M extension.json
M package.json
2 files changed, 20 insertions(+), 20 deletions(-)
Approvals:
Krinkle: Looks good to me, approved
jenkins-bot: Verified
diff --git a/extension.json b/extension.json
index 2ba378c..972b1c4 100644
--- a/extension.json
+++ b/extension.json
@@ -9,10 +9,10 @@
"descriptionmsg": "3d-desc",
"license-name": "MIT",
"requires": {
- "MediaWiki": ">= 1.29.0",
- "extensions": {
- "MultimediaViewer": "*"
- }
+ "MediaWiki": ">= 1.29.0",
+ "extensions": {
+ "MultimediaViewer": "*"
+ }
},
"type": "other",
"manifest_version": 1,
diff --git a/package.json b/package.json
index ff224c0..e231161 100644
--- a/package.json
+++ b/package.json
@@ -1,18 +1,18 @@
{
- "name": "3d",
- "version": "0.0.1",
- "private": true,
- "description": "Build tools for the 3D MediaWiki extension.",
- "scripts": {
- "test": "grunt test"
- },
- "devDependencies": {
- "eslint-config-wikimedia": "0.3.0",
- "grunt": "1.0.1",
- "grunt-eslint": "19.0.0",
- "grunt-banana-checker": "0.5.0",
- "grunt-jsonlint": "1.1.0",
- "grunt-stylelint": "0.7.0",
- "stylelint-config-wikimedia": "0.4.1"
- }
+ "name": "3d",
+ "version": "0.0.1",
+ "private": true,
+ "description": "Build tools for the 3D MediaWiki extension.",
+ "scripts": {
+ "test": "grunt test"
+ },
+ "devDependencies": {
+ "eslint-config-wikimedia": "0.3.0",
+ "grunt": "1.0.1",
+ "grunt-eslint": "19.0.0",
+ "grunt-banana-checker": "0.5.0",
+ "grunt-jsonlint": "1.1.0",
+ "grunt-stylelint": "0.7.0",
+ "stylelint-config-wikimedia": "0.4.1"
+ }
}
--
To view, visit https://gerrit.wikimedia.org/r/344200
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Idc0159b9e77ad134b8b9791e31daec50307f9ed1
Gerrit-PatchSet: 3
Gerrit-Project: mediawiki/extensions/3D
Gerrit-Branch: master
Gerrit-Owner: Umherirrender <[email protected]>
Gerrit-Reviewer: Krinkle <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
