-moz-border-radius removed from firefox 13

css, firefox

Solution

https://developer.mozilla.org/en/CSS/border-radius

says it was removed in 13, theres no other option than to change it to border-radius. I wouldn't call it manual, open them in a text editor and do a search and replace

Problem

Yesterday I updated to firefox 13 and I notice that this property is not any more supported by firefox 13, jquery.ui.css make use of this, and now I have all jquery ui elements with no round corners. Any solution before replacing all manually in css file with border-radius?

Original source