<?php

$jsFiles = array("tocinfolink.js");
$jsTocInitFunction = "PM.Plugin.TocInfolink.addInfoLinks()";

?>