third_party/tools/scripts/publish_php/restart.sh