// Indirect loader of the symbol index for Tools.Monger.MongerDeveloper.

PikeDoc.loadScript("ex/predef_3A_3A/Tools/Monger/MongerDeveloper/index.js", true, null);