webui.settings.bat support

[wkpark]

Description

• support webui.settings.bat to avoid version control issues.
  • webui.settings.bat will be copied from webui.settings.bat.in if not exist
  • any variables newly defined in the webui.settings.bat will override settings defined in the webui-user.bat
• same method suggested by PR Add settings file #148 , see also PR rename webu-user.bat to webui-user.bat.in and copy it conditionally #13601

Screenshots/videos:

Checklist:

• I have read contributing wiki page
• I have performed a self-review of my own code
• My code follows the style guidelines
• My code passes tests

[AUTOMATIC1111]

How about a more simple approach - webui.bat runs webui.settings.bat if it exists. That's it. No creating files, no variable checking, no .in files.

[wkpark]

How about a more simple approach - webui.bat runs webui.settings.bat if it exists. That's it. No creating files, no variable checking, no .in files.

I was too much thinking, that's the original method suggested by PR #148 :)
(fixed and squashed)

And in my opinion, it's probably better to leave it undocumented.
I believe it's more straightforward and simpler to correct webui-user.bat and use it.

[FurkanGozukara]

what is this webui.settings.bat. how do we set it?