Code Editor : git-update-server-info.html