I understand that PHP's $argv returns an array with parameters provided at the command line.
I was wondering if there is a function to retrieve the value assigned to a parameter or not. For example:
php mybatch.php --xxx=3
Such function f($argv,"xxx") would return 3. Or do I have to implement it myself?