// Indirect loader of the symbol index for Pike.Security.User.

PikeDoc.loadScript("ex/predef_3A_3A/Pike/Security/User/index.js", true, null);