[MediaWiki-commits] [Gerrit] registration: Fix 'ResourceModules' in schema - change (mediawiki/core)

2015-05-25 Thread jenkins-bot (Code Review) 
jenkins-bot has submitted this change and it was merged.

Change subject: registration: Fix 'ResourceModules' in schema
..


registration: Fix 'ResourceModules' in schema

Change-Id: I6fb833133a6d6bde42cb40eb8fd7e02f7ca9797a
(cherry picked from commit 34537805fc5779e6e0a3a331a7acdc188240bd83)
---
M docs/extension.schema.json
1 file changed, 1 insertion(+), 1 deletion(-)

Approvals:
  Jforrester: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/docs/extension.schema.json b/docs/extension.schema.json
index 3b75b72..d5c17a1 100644
--- a/docs/extension.schema.json
+++ b/docs/extension.schema.json
@@ -297,7 +297,7 @@
}
}
},
-   "ResourceLoaderModules": {
+   "ResourceModules": {
"type": "object",
"description": "ResourceLoader modules to register",
"additionalProperties": false,

-- 
To view, visit https://gerrit.wikimedia.org/r/213514
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: I6fb833133a6d6bde42cb40eb8fd7e02f7ca9797a
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/core
Gerrit-Branch: REL1_25
Gerrit-Owner: Jforrester 
Gerrit-Reviewer: Jforrester 
Gerrit-Reviewer: Legoktm 
Gerrit-Reviewer: Waldir 
Gerrit-Reviewer: jenkins-bot <>

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

[MediaWiki-commits] [Gerrit] registration: Fix 'ResourceModules' in schema - change (mediawiki/core)

2015-05-25 Thread Jforrester (Code Review) 
Jforrester has uploaded a new change for review.

  https://gerrit.wikimedia.org/r/213514

Change subject: registration: Fix 'ResourceModules' in schema
..

registration: Fix 'ResourceModules' in schema

Change-Id: I6fb833133a6d6bde42cb40eb8fd7e02f7ca9797a
(cherry picked from commit 34537805fc5779e6e0a3a331a7acdc188240bd83)
---
M docs/extension.schema.json
1 file changed, 1 insertion(+), 1 deletion(-)


  git pull ssh://gerrit.wikimedia.org:29418/mediawiki/core 
refs/changes/14/213514/1

diff --git a/docs/extension.schema.json b/docs/extension.schema.json
index 3b75b72..d5c17a1 100644
--- a/docs/extension.schema.json
+++ b/docs/extension.schema.json
@@ -297,7 +297,7 @@
}
}
},
-   "ResourceLoaderModules": {
+   "ResourceModules": {
"type": "object",
"description": "ResourceLoader modules to register",
"additionalProperties": false,

-- 
To view, visit https://gerrit.wikimedia.org/r/213514
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: newchange
Gerrit-Change-Id: I6fb833133a6d6bde42cb40eb8fd7e02f7ca9797a
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/core
Gerrit-Branch: REL1_25
Gerrit-Owner: Jforrester 
Gerrit-Reviewer: Legoktm 

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

[MediaWiki-commits] [Gerrit] registration: Fix 'ResourceModules' in schema - change (mediawiki/core)

2015-05-25 Thread jenkins-bot (Code Review) 
jenkins-bot has submitted this change and it was merged.

Change subject: registration: Fix 'ResourceModules' in schema
..


registration: Fix 'ResourceModules' in schema

Change-Id: I6fb833133a6d6bde42cb40eb8fd7e02f7ca9797a
---
M docs/extension.schema.json
1 file changed, 1 insertion(+), 1 deletion(-)

Approvals:
  Jforrester: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/docs/extension.schema.json b/docs/extension.schema.json
index 3b75b72..d5c17a1 100644
--- a/docs/extension.schema.json
+++ b/docs/extension.schema.json
@@ -297,7 +297,7 @@
}
}
},
-   "ResourceLoaderModules": {
+   "ResourceModules": {
"type": "object",
"description": "ResourceLoader modules to register",
"additionalProperties": false,

-- 
To view, visit https://gerrit.wikimedia.org/r/213506
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: I6fb833133a6d6bde42cb40eb8fd7e02f7ca9797a
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/core
Gerrit-Branch: master
Gerrit-Owner: Legoktm 
Gerrit-Reviewer: Chad 
Gerrit-Reviewer: Jforrester 
Gerrit-Reviewer: Waldir 
Gerrit-Reviewer: jenkins-bot <>

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

[MediaWiki-commits] [Gerrit] registration: Fix 'ResourceModules' in schema - change (mediawiki/core)

2015-05-25 Thread Legoktm (Code Review) 
Legoktm has uploaded a new change for review.

  https://gerrit.wikimedia.org/r/213506

Change subject: registration: Fix 'ResourceModules' in schema
..

registration: Fix 'ResourceModules' in schema

Change-Id: I6fb833133a6d6bde42cb40eb8fd7e02f7ca9797a
---
M docs/extension.schema.json
1 file changed, 1 insertion(+), 1 deletion(-)


  git pull ssh://gerrit.wikimedia.org:29418/mediawiki/core 
refs/changes/06/213506/1

diff --git a/docs/extension.schema.json b/docs/extension.schema.json
index 3b75b72..d5c17a1 100644
--- a/docs/extension.schema.json
+++ b/docs/extension.schema.json
@@ -297,7 +297,7 @@
}
}
},
-   "ResourceLoaderModules": {
+   "ResourceModules": {
"type": "object",
"description": "ResourceLoader modules to register",
"additionalProperties": false,

-- 
To view, visit https://gerrit.wikimedia.org/r/213506
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: newchange
Gerrit-Change-Id: I6fb833133a6d6bde42cb40eb8fd7e02f7ca9797a
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/core
Gerrit-Branch: master
Gerrit-Owner: Legoktm 

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits