PHP function to get parameters sent from terminal