move read_json() to separate file

diff --git a/utils/syn-list.php b/utils/syn-list.php
index 02e69b0..4534d69 100644 (file)
--- a/utils/syn-list.php
+++ b/utils/syn-list.php
@@ -5,21 +5,7 @@
 #
 # wp --cmd-dump | php /path/to/wp-cli/utils/syn-list.php
 
-function read_json() {
-       $input = '';
-
-       while ( false !== ( $line = fgets( STDIN ) ) ) {
-               $input .= $line;
-       }
-
-       $json = json_decode( $input, true );
-       if ( !$json ) {
-               echo "Invalid JSON.";
-               exit(1);
-       }
-
-       return $json;
-}
+include __DIR__ . '/utils.php';
 
 function generate_synopsis( $command, $path = '' ) {
        $full_path = $path . ' ' . $command['name'];

diff --git a/utils/utils.php b/utils/utils.php
new file mode 100644 (file)
index 0000000..eda9c6e
--- /dev/null
+++ b/utils/utils.php
@@ -0,0 +1,18 @@
+<?php
+
+function read_json() {
+       $input = '';
+
+       while ( false !== ( $line = fgets( STDIN ) ) ) {
+               $input .= $line;
+       }
+
+       $json = json_decode( $input, true );
+       if ( !$json ) {
+               echo "Invalid JSON.";
+               exit(1);
+       }
+
+       return $json;
+}
+