// Class path Protocols
PikeDoc.registerSymbol('Protocols', PikeDoc.isInline)
.addChildren('module', [{"link":"ex/7.8_3A_3A/Protocols/DNS.html","modifiers":null,"name":"DNS"}])
.finish();