@@ 766-768 (lines=3) @@ | ||
763 | $image = $token[1]; |
|
764 | ||
765 | // Check for a context sensitive alternative |
|
766 | if (isset(self::$alternativeMap[$type][$previousType])) { |
|
767 | $type = self::$alternativeMap[$type][$previousType]; |
|
768 | } |
|
769 | ||
770 | if (isset(self::$reductionMap[$type][$previousType])) { |
|
771 | $image = self::$reductionMap[$type][$previousType]['image']; |
|
@@ 781-783 (lines=3) @@ | ||
778 | } elseif (isset($tokenMap[$token[0]])) { |
|
779 | $type = $tokenMap[$token[0]]; |
|
780 | // Check for a context sensitive alternative |
|
781 | if (isset(self::$alternativeMap[$type][$previousType])) { |
|
782 | $type = self::$alternativeMap[$type][$previousType]; |
|
783 | } |
|
784 | ||
785 | $image = $token[1]; |
|
786 | } else { |