$value ) { if( $key == "groups" ) { array_push($arr, $key . "=" . urlencode(implode(",", $value)) ); continue; } /* Add URL-encoded value to array */ array_push($arr, $key . "=" . urlencode($value)); } /* Send the HTTP request. */ $result = var_export(file_get_contents(SYNC_NEW_USER_URL."?" . implode("&", $arr)), true); return $result; } function _log($str) { $time = date("[Y-m-d H:i:s.u]"); // relative to the file _log is in file_put_contents(dirname(__FILE__)."/migration.log", $time.$str."\n", FILE_APPEND); } ?>