1<?php
2// $Header: /cvsroot/html2ps/stubs.file_get_contents.inc.php,v 1.1 2005/04/27 16:27:45 Konstantin Exp $
3
4function file_get_contents($file) {
5  $lines = file($file);
6  if ($lines) {
7    return implode('',$lines);
8  } else {
9    return "";
10  };
11}
12?>