[netchkin]

I am not versed in PHP, but the article assumes HTTP usage, most probably HTTP GET method. I guess PHP GET you mention is a way to issue HTTP GET request.