-moz-border-radius removed from firefox 13

Question

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?

Answer 1

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

Answer 2

border-radius is the standard, so it should have always been included in your css as a fallback as browsers adopted the standard.

Answer 3

Previously I used:

-moz-border-radius:10px;
-webkit-border-radius:10px; 

but they stopped working in v13. I switched to:

border-radius:10px;

and it is working again!