private function tokensToString($tokens) { return join('', array_map(function ($token) { return is_array($token) ? $token[1] : $token; }, $tokens)); }