Extension:FileIndexer/Code.FileIndexer body.php

\n");

if($this->insertEditTools == true && $wgUseAjax == true && function_exists('charInsert')){ $currentPath = str_replace('\\', '/', dirname(__FILE__)); $curServerPath = substr($currentPath, stripos($currentPath, $wgScriptPath. '/'));           $wgOut->addScript(" \n");

$filename = dirname(__FILE__). '/EditTools.htm'; $handle = fopen($filename, 'rb'); $contents = fread($handle, filesize($filename)); fclose($handle);

$wgOut->addHtml(' '); $wgOut->addWikiText($contents); $wgOut->addHtml(' '); }   } }