diff options
| author | Andreas Fischer <bantu@phpbb.com> | 2014-10-07 20:30:40 +0200 |
|---|---|---|
| committer | Andreas Fischer <bantu@phpbb.com> | 2014-10-07 20:30:40 +0200 |
| commit | 63bdd193e0da90dc12ff2b6523b255f832420d3b (patch) | |
| tree | 0399b3fd74208ff8e17aec83052c17e8bcedaf8a /phpBB/develop | |
| parent | c77d6f39f25690437bee29ca542b52e10600f0e0 (diff) | |
| parent | d64a515476955add1baf2e6cacab2de58a39118a (diff) | |
| download | forums-63bdd193e0da90dc12ff2b6523b255f832420d3b.tar forums-63bdd193e0da90dc12ff2b6523b255f832420d3b.tar.gz forums-63bdd193e0da90dc12ff2b6523b255f832420d3b.tar.bz2 forums-63bdd193e0da90dc12ff2b6523b255f832420d3b.tar.xz forums-63bdd193e0da90dc12ff2b6523b255f832420d3b.zip | |
Merge pull request #3027 from nickvergessen/ticket/13137
[ticket/13137] Remove schema.json from repository
* nickvergessen/ticket/13137:
[ticket/13137] Create schema.json in build script
[ticket/13137] Improve output of create_schema_files.php
[ticket/13137] Add schema.json file to .gitignore
[ticket/13137] Generate the schema when the schema.json file is not available
[ticket/13137] Remove schema.json file
Diffstat (limited to 'phpBB/develop')
| -rw-r--r-- | phpBB/develop/create_schema_files.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/phpBB/develop/create_schema_files.php b/phpBB/develop/create_schema_files.php index b1e981795f..7ef86ad7fc 100644 --- a/phpBB/develop/create_schema_files.php +++ b/phpBB/develop/create_schema_files.php @@ -57,4 +57,4 @@ $fp = fopen($schema_path . 'schema.json', 'wb'); fwrite($fp, json_encode($schema_data, JSON_PRETTY_PRINT)); fclose($fp); -echo 'done'; +echo 'Successfully created schema file'; |