Umherirrender has uploaded a new change for review. (
https://gerrit.wikimedia.org/r/344222 )
Change subject: Use tabs to indent in json
......................................................................
Use tabs to indent in json
Change-Id: I20811dc220cd020b1f795cad62d690f142b68643
---
M extension.json
M package.json
2 files changed, 21 insertions(+), 21 deletions(-)
git pull ssh://gerrit.wikimedia.org:29418/mediawiki/extensions/Echo
refs/changes/22/344222/1
diff --git a/extension.json b/extension.json
index 4f906bf..2dec0f1 100644
--- a/extension.json
+++ b/extension.json
@@ -13,9 +13,9 @@
"descriptionmsg": "echo-desc",
"license-name": "MIT",
"type": "specialpage",
- "requires": {
- "MediaWiki": ">= 1.29.0"
- },
+ "requires": {
+ "MediaWiki": ">= 1.29.0"
+ },
"callback": "EchoHooks::registerExtension",
"APIMetaModules": {
"notifications": "ApiEchoNotifications",
diff --git a/package.json b/package.json
index c520c4d..3ade3ed 100644
--- a/package.json
+++ b/package.json
@@ -1,20 +1,20 @@
{
- "name": "echo",
- "version": "0.0.1",
- "private": true,
- "description": "Build tools for Echo.",
- "scripts": {
- "test": "grunt test",
- "doc": "jsduck"
- },
- "devDependencies": {
- "eslint-config-wikimedia": "0.3.0",
- "grunt": "1.0.1",
- "grunt-banana-checker": "0.5.0",
- "grunt-contrib-watch": "1.0.0",
- "grunt-eslint": "19.0.0",
- "grunt-jsonlint": "1.0.8",
- "grunt-stylelint": "0.7.0",
- "stylelint-config-wikimedia": "0.4.1"
- }
+ "name": "echo",
+ "version": "0.0.1",
+ "private": true,
+ "description": "Build tools for Echo.",
+ "scripts": {
+ "test": "grunt test",
+ "doc": "jsduck"
+ },
+ "devDependencies": {
+ "eslint-config-wikimedia": "0.3.0",
+ "grunt": "1.0.1",
+ "grunt-banana-checker": "0.5.0",
+ "grunt-contrib-watch": "1.0.0",
+ "grunt-eslint": "19.0.0",
+ "grunt-jsonlint": "1.0.8",
+ "grunt-stylelint": "0.7.0",
+ "stylelint-config-wikimedia": "0.4.1"
+ }
}
--
To view, visit https://gerrit.wikimedia.org/r/344222
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: newchange
Gerrit-Change-Id: I20811dc220cd020b1f795cad62d690f142b68643
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/Echo
Gerrit-Branch: master
Gerrit-Owner: Umherirrender <umherirrender_de...@web.de>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
