给settings.js加了一些分号