<?php

$phpFiles = Array("init.php");
$jsFiles = array("addbuttonstogroups.js.php?" . SID);
$jsTocInitFunction = "abtgAfterTocInit()";

?>