@@ 921-926 (lines=6) @@ | ||
918 | if (isset($o['info']['encodingDictionary'])) { |
|
919 | // then place a reference to the dictionary |
|
920 | $res .= "/Encoding " . $o['info']['encodingDictionary'] . " 0 R\n"; |
|
921 | } else { |
|
922 | if (isset($o['info']['encoding'])) { |
|
923 | // use the specified encoding |
|
924 | $res .= "/Encoding /" . $o['info']['encoding'] . "\n"; |
|
925 | } |
|
926 | } |
|
927 | ||
928 | if (isset($o['info']['FirstChar'])) { |
|
929 | $res .= "/FirstChar " . $o['info']['FirstChar'] . "\n"; |
|
@@ 1105-1107 (lines=3) @@ | ||
1102 | $o['info']['encoding'] = 'WinAnsiEncoding'; |
|
1103 | } |
|
1104 | ||
1105 | if ($o['info']['encoding'] !== 'none') { |
|
1106 | $res .= "/BaseEncoding /" . $o['info']['encoding'] . "\n"; |
|
1107 | } |
|
1108 | ||
1109 | $res .= "/Differences \n["; |
|
1110 |