gistfile1.txt

<?php

$botRegexps = array_filter(file("lib/pkp/plugins/generic/usageStats/lib/counterBots/generated/COUNTER_Robots_list.txt"), "filter");

print_r($botRegexps);


function filter(&$regexp) 
{ 
		$delimiter = '/';
		$regexp = trim($regexp);

		if (!empty($regexp) && $regexp[0] != '#') {
			if(strpos($regexp, $delimiter) !== 0) {
				// Make sure delimiters are in place.
				$regexp = $delimiter . $regexp . $delimiter;
			}
		} else {
			return false;
		}
		
		return true;
}

?>