/// <summary>Initializes global $argv and $argc variables and corresponding $_SERVER entries.</summary>
protected void InitializeArgvArgc(string mianscript, params string[] args)
{
Debug.Assert(args != null);
// PHP array with command line arguments
// including 0-th argument corresponding to program executable
var argv = new PhpArray(1 + args.Length);
argv.Add(mianscript ?? "-");
argv.AddRange(args);
// command line argc, argv:
this.Globals["argv"] = (this.Server["argv"] = argv).DeepCopy();
this.Globals["argc"] = this.Server["argc"] = argv.Count;
}
