cvs: phpdoc /en/reference/stream reference.xml
| From: | Sara Golemon | Date: | Wed, 15 Jan 2003 23:51:25 +0000 |
| Subject: | cvs: phpdoc /en/reference/stream reference.xml | ||
| Groups: | php.doc | ||
| Request: | Send a blank email to phpdoc+get-969350937@lists.php.net to get a copy of this message | ||
pollita Wed Jan 15 18:51:25 2003 EDT
Modified files:
/phpdoc/en/reference/stream reference.xml
Log:
Formatting fix in example, renders too wide in phpweb
Index: phpdoc/en/reference/stream/reference.xml
diff -u phpdoc/en/reference/stream/reference.xml:1.6 phpdoc/en/reference/stream/reference.xml:1.7
--- phpdoc/en/reference/stream/reference.xml:1.6 Sun Jan 5 02:43:11 2003
+++ phpdoc/en/reference/stream/reference.xml Wed Jan 15 18:51:25 2003
@@ -1,5 +1,5 @@
<?xml version="1.0" encoding="iso-8859-1"?>
-<!-- $Revision: 1.6 $ -->
+<!-- $Revision: 1.7 $ -->
<reference id="ref.stream">
<title>Stream functions</title>
<titleabbrev>Streams</titleabbrev>
@@ -153,12 +153,23 @@
<programlisting role="php">
<![CDATA[
<?php
-$localfile = file_get_contents("/home/bar/foo.txt"); // Read
local file from /home/bar
-$localfile = file_get_contents("file:///home/bar/foo.txt"); // Identical
to above, explicitly naming FILE scheme
-$httpfile = file_get_contents("http://www.example.com/foo.txt"); //
Read remote file from www.example.com using HTTP
-$httpsfile = file_get_contents("https://www.example.com/foo.txt");
// Read remote file from www.example.com using HTTPS
-$ftpfile = file_get_contents("ftp://user:pass@ftp.example.com/foo.txt");
// Read remote file from ftp.example.com using FTP
-$ftpsfile = file_get_contents("ftps://user:pass@ftp.example.com/foo.txt"); // Read
remote file from ftp.example.com using FTPS
+/* Read local file from /home/bar */
+$localfile = file_get_contents("/home/bar/foo.txt");
+
+/* Identical to above, explicitly naming FILE scheme */
+$localfile = file_get_contents("file:///home/bar/foo.txt");
+
+/* Read remote file from www.example.com using HTTP */
+$httpfile = file_get_contents("http://www.example.com/foo.txt");
+
+/* Read remote file from www.example.com using HTTPS */
+$httpsfile = file_get_contents("https://www.example.com/foo.txt");
+
+/* Read remote file from ftp.example.com using FTP */
+$ftpfile = file_get_contents("ftp://user:pass@ftp.example.com/foo.txt");
+
+/* Read remote file from ftp.example.com using FTPS */
+$ftpsfile = file_get_contents("ftps://user:pass@ftp.example.com/foo.txt");
?>
]]>
</programlisting>