Merge branch 'master' of https://github.com/cluder/stable-diffusion-webui into 4448_fix_ckpt_cache

*       @AUTOMATIC1111

*       @AUTOMATIC1111

/localizations/ar_AR.json   @xmodar @blackneoo

/localizations/de_DE.json   @LunixWasTaken

# if you were managing a localization and were removed from this file, this is because

/localizations/es_ES.json   @innovaciones

# the intended way to do localizations now is via extensions. See:

/localizations/fr_FR.json   @tumbly

# https://github.com/AUTOMATIC1111/stable-diffusion-webui/wiki/Developing-extensions

/localizations/it_IT.json   @EugenioBuffo

# Make a repo with your localization and since you are still listed as a collaborator

/localizations/ja_JP.json   @yuuki76

# you can add it to the wiki page yourself. This change is because some people complained

/localizations/ko_KR.json   @36DB

# the git commit log is cluttered with things unrelated to almost everyone and

/localizations/pt_BR.json   @M-art-ucci

# because I believe this is the best overall for the project to handle localizations almost

/localizations/ru_RU.json   @kabachuha

# entirely without my oversight.

/localizations/tr_TR.json   @camenduru

/localizations/zh_CN.json   @dtlnor @bgluminous

/localizations/zh_TW.json   @benlisquare

function restart_reload(){

function restart_reload(){

    document.body.innerHTML='<h1 style="font-family:monospace;margin-top:20%;color:lightgray;text-align:center;">Reloading...</h1>';

    document.body.innerHTML='<h1 style="font-family:monospace;margin-top:20%;color:lightgray;text-align:center;">Reloading...</h1>';

    setTimeout(function(){location.reload()},2000)

    setTimeout(function(){location.reload()},2000)

    return []

}

}