tokenize(); if ($document === null) { $document = new Document(); $document->encoding = $encoding; } $pre = $document->createElement('pre'); $code = $document->createElement('code'); $code->setAttribute('class', implode(' ', array_unique(explode('.', $scopeName)))); $pre->appendChild($code); $elementStack = [ $code ]; $scopeStack = [ $scopeName ]; foreach ($tokenList as $lineNumber => $tokens) { foreach ($tokens as $token) { $lastKey = count($token['scopes']) - 1; foreach ($token['scopes'] as $key => $scope) { $keyExists = array_key_exists($key, $scopeStack); if (!$keyExists || $scopeStack[$key] !== $scope) { if ($keyExists) { $scopeStack = array_slice($scopeStack, 0, $key); $elementStack = array_slice($elementStack, 0, $key); } $span = $document->createElement('span'); $span->setAttribute('class', implode(' ', array_unique(explode('.', $scope)))); end($elementStack)->appendChild($span); $scopeStack[] = $scope; $elementStack[] = $span; } if ($key === $lastKey) { if (array_key_exists($key + 1, $scopeStack)) { $scopeStack = array_slice($scopeStack, 0, $key + 1); $elementStack = array_slice($elementStack, 0, $key + 1); } end($elementStack)->appendChild($document->createTextNode($token['text'])); } } } } return $pre; } }