Merge pull request #4718 from MrPetovan/bug/fix-console-url-argument
authorMichael Vogel <icarus@dabo.de>
Sat, 31 Mar 2018 04:02:23 +0000 (06:02 +0200)
committerGitHub <noreply@github.com>
Sat, 31 Mar 2018 04:02:23 +0000 (06:02 +0200)
Console: Use $argv instead of $_SERVER['argv']


Trivial merge