| @@ 399-405 (lines=7) @@ | ||
| 396 | $s.='$file=\''.basename($fontfile)."';\n"; |
|
| 397 | echo '<B>Notice:</B> font file could not be compressed (zlib extension not available)<BR>'; |
|
| 398 | } |
|
| 399 | if($type=='Type1') |
|
| 400 | { |
|
| 401 | $s.='$size1='.$size1.";\n"; |
|
| 402 | $s.='$size2='.$size2.";\n"; |
|
| 403 | } |
|
| 404 | else |
|
| 405 | $s.='$originalsize='.filesize($fontfile).";\n"; |
|
| 406 | } |
|
| 407 | else |
|
| 408 | { |
|
| @@ 285-291 (lines=7) @@ | ||
| 282 | echo 'CIDToGIDMap created ('.$cmp.')<BR>'; |
|
| 283 | $s.='$ctg=\''.$cmp."';\n"; |
|
| 284 | } |
|
| 285 | if($type=='Type1') |
|
| 286 | { |
|
| 287 | $s.='$size1='.$size1.";\n"; |
|
| 288 | $s.='$size2='.$size2.";\n"; |
|
| 289 | } |
|
| 290 | else |
|
| 291 | $s.='$originalsize='.filesize($fontfile).";\n"; |
|
| 292 | } |
|
| 293 | else |
|
| 294 | { |
|