Updated ping IDL attributes (HTML revision 8369)