diff options
author | Pierre Schmitz <pierre@archlinux.de> | 2015-06-04 07:31:04 +0200 |
---|---|---|
committer | Pierre Schmitz <pierre@archlinux.de> | 2015-06-04 07:58:39 +0200 |
commit | f6d65e533c62f6deb21342d4901ece24497b433e (patch) | |
tree | f28adf0362d14bcd448f7b65a7aaf38650f923aa /maintenance/validateRegistrationFile.php | |
parent | c27b2e832fe25651ef2410fae85b41072aae7519 (diff) |
Update to MediaWiki 1.25.1
Diffstat (limited to 'maintenance/validateRegistrationFile.php')
-rw-r--r-- | maintenance/validateRegistrationFile.php | 37 |
1 files changed, 37 insertions, 0 deletions
diff --git a/maintenance/validateRegistrationFile.php b/maintenance/validateRegistrationFile.php new file mode 100644 index 00000000..e7646610 --- /dev/null +++ b/maintenance/validateRegistrationFile.php @@ -0,0 +1,37 @@ +<?php + +require_once __DIR__ . '/Maintenance.php'; + +class ValidateRegistrationFile extends Maintenance { + public function __construct() { + parent::__construct(); + $this->addArg( 'path', 'Path to extension.json/skin.json file.', true ); + } + public function execute() { + if ( !class_exists( 'JsonSchema\Uri\UriRetriever' ) ) { + $this->error( 'The JsonSchema library cannot be found, please install it through composer.', 1 ); + } + + $retriever = new JsonSchema\Uri\UriRetriever(); + $schema = $retriever->retrieve('file://' . dirname( __DIR__ ) . '/docs/extension.schema.json' ); + $path = $this->getArg( 0 ); + $data = json_decode( file_get_contents( $path ) ); + if ( !is_object( $data ) ) { + $this->error( "$path is not a valid JSON file.", 1 ); + } + + $validator = new JsonSchema\Validator(); + $validator->check( $data, $schema ); + if ( $validator->isValid() ) { + $this->output( "$path validates against the schema!\n" ); + } else { + foreach ( $validator->getErrors() as $error ) { + $this->output( "[{$error['property']}] {$error['message']}\n" ); + } + $this->error( "$path does not validate.", 1 ); + } + } +} + +$maintClass = 'ValidateRegistrationFile'; +require_once RUN_MAINTENANCE_IF_MAIN; |