Provides an API for other userscripts to add tabs to a site's settings menu.
这是此脚本的所有版本。 只显示代码更新过的版本
enable debugging
tab loading fix
Tab separator modification.
No Separators
