Option Type for PHP