[webkit-dev] Ports: Converting media controls to -webkit-flex

[Christian Biesinger]

Hi,

currently, media controls all use the deprecated flex box
(-webkit-box). In https://bugs.webkit.org/show_bug.cgi?id=109775, I am
converting them to use the new flex box (-webkit-flex).

I have verified that the result looks correct on the Chromium and Mac
ports, but I am unable to build/test the other ports. You may want to
double-check that the layout looks correct (if you have more than one
flexing control, the layout may be different, e.g. if you have both a
timeline and a volume slider. Otherwise there should be no difference)

-christian