esattamente, potresti modificare una parte del codice postato prima in questo modo:
$res = strpos($ua, $os) ? "video_mobile.webm" : "video_desktop.webm";
cosi potresti ottimizzare il video_mobile.webm con una risoluzione adatta al mobile come suggerito ac_socmel e Vincent.Zeno