A PHP idiom not supported by some PHP explode(...)[1]