<?php

$jsFiles = array("searchtool.js");
$jsTocInitFunction = "PM.Plugin.SearchTool.init();";

?>