you have to use javascript for this,
because html has been created already before and php cannot change it:
in Jquery Syntax:
let options = $("option");
let toSelect = options[Math.floor(Math.random() * options.length)];
$(toSelect).attr("selected","selected");
与恶龙缠斗过久,自身亦成为恶龙;凝视深渊过久,深渊将回以凝视…