jenkins-bot has submitted this change and it was merged.
Change subject: Fix mixed leading whitespace
......................................................................
Fix mixed leading whitespace
Change-Id: I73b9b0ff6e3a6ec82782e2bd1437c180ce7c2423
---
M includes/JsonSchema.php
1 file changed, 5 insertions(+), 5 deletions(-)
Approvals:
Legoktm: Looks good to me, approved
jenkins-bot: Verified
diff --git a/includes/JsonSchema.php b/includes/JsonSchema.php
index 5d65cd0..085ba8b 100644
--- a/includes/JsonSchema.php
+++ b/includes/JsonSchema.php
@@ -364,11 +364,11 @@
// additionalProperties can *either* be a boolean or
can be
// defined as a schema (an object)
if ( gettype( $snode['additionalProperties'] ) ==
"boolean" ) {
- if ( !$snode['additionalProperties'] ) {
- $msg = JsonUtil::uiMessage(
'jsonschema-invalidkey',
- $key,
$this->getDataPathTitles() );
- throw new JsonSchemaException( $msg );
- }
+ if ( !$snode['additionalProperties'] ) {
+ $msg = JsonUtil::uiMessage(
'jsonschema-invalidkey',
+
$key, $this->getDataPathTitles() );
+ throw new JsonSchemaException( $msg );
+ }
} else {
$schemadata = $snode['additionalProperties'];
$nodename = $key;
--
To view, visit https://gerrit.wikimedia.org/r/300198
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I73b9b0ff6e3a6ec82782e2bd1437c180ce7c2423
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/EventLogging
Gerrit-Branch: master
Gerrit-Owner: Reedy <[email protected]>
Gerrit-Reviewer: Legoktm <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
