Yes, I suggest you use “ajaxWDwx-settings.js” for your setup and then upload it to your server.
This will ensure that you won’t have to make changes to it again for the next upgrade.
However keep in mind that you also need to make the patch to “top.php” as suggested in the main post above.
I can’'t help you other than that as only you would know where your files/graphics are.