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