<?php

$phpFiles = Array("init.phtml");
$jsFiles = array("addbuttonstogroups.js");
$jsTocInitFunction = "abtgAfterTocInit()";

?>