Update php/options.php