There are a bunch of extensions that could have forced all video to html5 for you. ClickToPlugin is great IMO and it's kept me from switching away from safari

There are a bunch of extensions that could have forced all video to html5 for you. ClickToPlugin is great IMO and it's kept me from switching away from safari for the longest time.