<?php

$items =  file("../highlights.txt");
print "[";


	$first = true;
	for($i=0;$i<count($items);$i++){
		if($first == TRUE){
			$first = FALSE;
			print '"';
		}
		else { print ',"'; }
		print addcslashes($items[$i], "\\\"\n\r\t/") . '"';
	}
	
print "]";