jenkins-bot has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/360893 )
Change subject: Fix indent in json files
......................................................................
Fix indent in json files
Change-Id: I2f4d2fba95125980a7652591fc646831258ea307
---
M extension.json
M i18n/en.json
M package.json
3 files changed, 15 insertions(+), 15 deletions(-)
Approvals:
Tobias Gritschacher: Looks good to me, approved
jenkins-bot: Verified
diff --git a/extension.json b/extension.json
index 3069dd1..ba21e98 100644
--- a/extension.json
+++ b/extension.json
@@ -14,7 +14,7 @@
},
"Hooks": {
"GetBetaFeaturePreferences": [
- "AdvancedSearch\\Hooks::getBetaFeaturePreferences"
+ "AdvancedSearch\\Hooks::getBetaFeaturePreferences"
],
"ResourceLoaderTestModules": [
"AdvancedSearch\\Hooks::onResourceLoaderTestModules"
diff --git a/i18n/en.json b/i18n/en.json
index 7771ef6..e0bdad3 100644
--- a/i18n/en.json
+++ b/i18n/en.json
@@ -41,6 +41,6 @@
"advancedSearch-filesize-equals": "equal to",
"advancedSearch-filesize-greater-than": "greater than",
"advancedSearch-filesize-smaller-than": "lower than",
- "advancedSearch-beta-feature-message": "Advanced Search Interface",
- "advancedSearch-beta-feature-description": "Easy access to advanced
search capabilities on [[Special:Search]]."
+ "advancedSearch-beta-feature-message": "Advanced Search Interface",
+ "advancedSearch-beta-feature-description": "Easy access to advanced
search capabilities on [[Special:Search]]."
}
diff --git a/package.json b/package.json
index 960059c..aadcbc1 100644
--- a/package.json
+++ b/package.json
@@ -1,14 +1,14 @@
{
- "private": true,
- "scripts": {
- "test": "grunt test"
- },
- "devDependencies": {
- "grunt": "1.0.1",
- "grunt-banana-checker": "0.5.0",
- "grunt-cli": "0.1.13",
- "grunt-contrib-jshint": "0.11.3",
- "grunt-jscs": "2.5.0",
- "grunt-jsonlint": "1.1.0"
- }
+ "private": true,
+ "scripts": {
+ "test": "grunt test"
+ },
+ "devDependencies": {
+ "grunt": "1.0.1",
+ "grunt-banana-checker": "0.5.0",
+ "grunt-cli": "0.1.13",
+ "grunt-contrib-jshint": "0.11.3",
+ "grunt-jscs": "2.5.0",
+ "grunt-jsonlint": "1.1.0"
+ }
}
--
To view, visit https://gerrit.wikimedia.org/r/360893
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I2f4d2fba95125980a7652591fc646831258ea307
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/AdvancedSearch
Gerrit-Branch: master
Gerrit-Owner: Umherirrender <[email protected]>
Gerrit-Reviewer: Addshore <[email protected]>
Gerrit-Reviewer: Andrew-WMDE <[email protected]>
Gerrit-Reviewer: Legoktm <[email protected]>
Gerrit-Reviewer: Siebrand <[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
