Bueno, esto mas que php es js, te dejo por donde deberir empezando ya que con js no soy muy bueno xD
Código Javascript
:
Ver originalvar opts = document.getElementById('servicio').options;
var vals = [];
for(var i = 0, j = opts.length; i < j; i++)
vals.push(opts[i].value);