From Webster's Revised Unabridged Dictionary (1913) :
Ping \Ping\, v. i. [imp. & p. p. Pinged; p. pr. & vb. n.
Pinging.]
To make the sound called ping.
Probably because 'ping' in an internet sense is most often used as a noun (Your ping is 211), rather than 'to ping'Originally posted by darklite
there is also an entry for 'ping' in the internet sense, but no past tense for it..