Update Settings.js

XML() seems to deprecated in FireFox 19