didou Tue Sep 30 04:41:52 2003 EDT
Modified files:
/phpdoc/en/faq build.xml html.xml
Log:
adding role when needed
Index: phpdoc/en/faq/build.xml
diff -u phpdoc/en/faq/build.xml:1.27 phpdoc/en/faq/build.xml:1.28
--- phpdoc/en/faq/build.xml:1.27 Fri Jul 18 15:16:58 2003
+++ phpdoc/en/faq/build.xml Tue Sep 30 04:41:52 2003
@@ -1,5 +1,5 @@
<?xml version="1.0" encoding="iso-8859-1"?>
-<!-- $Revision: 1.27 $ -->
+<!-- $Revision: 1.28 $ -->
<chapter id="faq.build">
<title>Build Problems</title>
<titleabbrev>Build Problems</titleabbrev>
@@ -491,7 +491,7 @@
<para>
Either you look at config.nice file, in the source tree of your current PHP
installation or, if this is not available, you simply run a
- <programlisting>
+ <programlisting role="php">
<![CDATA[
<?php phpinfo(); ?>
]]>
Index: phpdoc/en/faq/html.xml
diff -u phpdoc/en/faq/html.xml:1.22 phpdoc/en/faq/html.xml:1.23
--- phpdoc/en/faq/html.xml:1.22 Sun Aug 17 15:09:25 2003
+++ phpdoc/en/faq/html.xml Tue Sep 30 04:41:52 2003
@@ -1,5 +1,5 @@
<?xml version="1.0" encoding="iso-8859-1"?>
-<!-- $Revision: 1.22 $ -->
+<!-- $Revision: 1.23 $ -->
<chapter id="faq.html">
<title>PHP and HTML</title>
<titleabbrev>PHP and HTML</titleabbrev>
@@ -295,7 +295,7 @@
the client side.
</para>
<para>
- <programlisting>
+ <programlisting role="php">
<![CDATA[
<?php
if (isset($_GET['width']) AND isset($_GET['height'])) {
