PHP

<?	function process_file($filename)	{		if(!$data = file_get_contents($filename)) return false;				$data = str_replace("\r",'',$data);		$data = explode("\n", $data);				$newfiledata = '';				foreach($data as $line)		{			if(!@empty($line) && $line{0} == '[')				$newfiledata .= $line."\r\n";		}				if(!@empty($newfiledata)) return $newfiledata;	}?>