public static PhpArray array_values(PhpArray array)
{
if (array == null)
{
//PhpException.ArgumentNull("array");
//return null;
throw new ArgumentNullException(nameof(array));
}
// references are not dereferenced:
PhpArray result = new PhpArray(array.Count);
var enumerator = array.GetFastEnumerator();
while (enumerator.MoveNext())
{
result.Add(enumerator.CurrentValue);
}
// result is inplace deeply copied on return to PHP code:
//result.InplaceCopyOnReturn = true;
return result;
}