nicolasconnault 3565ff92e4 MDL-10970 Someone was using
$locations = array('location1');
$locations += array('location2', 'location3', 'location4');

to save the hassle of doing one $locations[] = 'location1'; for each location.

But += doesn't add any entry if the key of the new array already exists in the original array. So, using my example, the resulting array would be:

$locations: array('location1', 'location3', 'location4');
2007-08-24 06:01:15 +00:00
..
2007-08-03 03:20:30 +00:00
2007-08-29 13:10:20 +12:00
2007-08-15 13:43:27 +00:00
2007-08-11 18:13:07 +00:00
2007-08-15 11:08:37 +00:00
2007-08-21 09:54:49 +00:00
2007-08-24 06:01:15 +00:00
2007-08-29 13:10:11 +12:00