Use a PHP array