jenkins-bot has submitted this change and it was merged.
Change subject: json-lint.php: report json_last_error_msg() on error
......................................................................
json-lint.php: report json_last_error_msg() on error
Was previously always printing "json decode error"
Change-Id: I2133b7e012ceb51a5fb074426b733dfd3374c83f
---
M bin/json-lint.php
1 file changed, 1 insertion(+), 1 deletion(-)
Approvals:
Hashar: Looks good to me, approved
jenkins-bot: Verified
diff --git a/bin/json-lint.php b/bin/json-lint.php
index 9de607a..2eb1212 100755
--- a/bin/json-lint.php
+++ b/bin/json-lint.php
@@ -78,7 +78,7 @@
$result = lint_json_file( $file->getPathname() );
if ( !$result ) {
$exitCode = 1;
- fwrite( STDERR, $file->getPathname() . ": json decode
error.\n" );
+ fwrite( STDERR, $file->getPathname() . ": " .
json_last_error_msg() . "\n" );
}
}
}
--
To view, visit https://gerrit.wikimedia.org/r/114462
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I2133b7e012ceb51a5fb074426b733dfd3374c83f
Gerrit-PatchSet: 1
Gerrit-Project: integration/jenkins
Gerrit-Branch: master
Gerrit-Owner: Hashar <[email protected]>
Gerrit-Reviewer: Hashar <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
