gistfile1.txt

<?php

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

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;
			}
		}
		return $regexp;
}

?>