Extension:FileIndexer/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(' '); }	} }