patch_config php tool

nextcloud_devenv/patch_config.php

@@ -0,0 +1,7 @@
+<?php
+include 'config.php';
+$host_port=$argv[1];
+$CONFIG['overwrite.cli.url'] = 'http://' . $host_port ;
+$CONFIG['trusted_domains'] = [$host_port];
+print("<?php\n");
+print( '$CONFIG='.var_export($CONFIG,true).';');