+ global $fancy_index_highlite;
+ if (!$fancy_index_highlite) {
+ $js = '';
+ } else //{ putting braces around this block creats strange PHP errors
+ // following code graciously borrowed from
+ // phpMyAdmin project at:
+ // http://www.phpmyadmin.net
+ $js = <<<EOS