[Phpfreechat-svn] SF.net SVN: phpfreechat: [1227] trunk/demo
Status: Beta
Brought to you by:
kerphi
Menu
▾
▴
[Phpfreechat-svn] SF.net SVN: phpfreechat: [1227] trunk/demo
|
From: <ke...@us...> - 2008-03-23 20:07:07
|
Revision: 1227
http://phpfreechat.svn.sourceforge.net/phpfreechat/?rev=1227&view=rev
Author: kerphi
Date: 2008-03-23 13:07:12 -0700 (Sun, 23 Mar 2008)
Log Message:
-----------
improve the demo source code readability
Modified Paths:
--------------
trunk/demo/demo10_in_chinese.php
trunk/demo/demo12_phoenity_smiley_theme.php
trunk/demo/demo13_in_german_informal_language.php
trunk/demo/demo14_in_german_formal_language.php
trunk/demo/demo15_multiple_channel.php
trunk/demo/demo16_in_arabic.php
trunk/demo/demo17_cerutti_smiley_theme.php
trunk/demo/demo18_phpbb2_smiley_theme.php
trunk/demo/demo19_in_japanese.php
trunk/demo/demo1_simple.php
trunk/demo/demo20_in_brazilian_portuguese.php
trunk/demo/demo21_with_hardcoded_urls.php
trunk/demo/demo22_in_serbian_croatian.php
trunk/demo/demo23_in_italian.php
trunk/demo/demo24_in_spanish.php
trunk/demo/demo25_in_indonesian.php
trunk/demo/demo26_in_swedish.php
trunk/demo/demo27_customized_command.php
trunk/demo/demo28_blune_theme.php
trunk/demo/demo28_mini_blune_theme.php
trunk/demo/demo29_in_russian.php
trunk/demo/demo2_simple_with_params.php
trunk/demo/demo31_show_who_is_online-chat.php
trunk/demo/demo31_show_who_is_online-whoisonline.php
trunk/demo/demo32_show_last_messages-chat.php
trunk/demo/demo32_show_last_messages-showlastmsg.php
trunk/demo/demo33_in_portuguese_from_portugal.php
trunk/demo/demo34_add_a_link_on_nicknames.php
trunk/demo/demo35_shared_memory.php
trunk/demo/demo36_in_ukrainian.php
trunk/demo/demo37_in_dutch_from_netherlands.php
trunk/demo/demo38_in_norwegian_bokmal.php
trunk/demo/demo39_in_bosnian.php
trunk/demo/demo3_client.php
trunk/demo/demo40_in_turkish.php
trunk/demo/demo41_in_greek.php
trunk/demo/demo42_in_chinese_from_taiwan.php
trunk/demo/demo43_change_the_nicknames_colors.php
trunk/demo/demo44_green_theme.php
trunk/demo/demo45_in_bulgarian.php
trunk/demo/demo46_in_hungarian.php
trunk/demo/demo47_in_polish.php
trunk/demo/demo48_custom_proxy.php
trunk/demo/demo49_msn_smiley_theme.php
trunk/demo/demo4_simulate_slow_server.php
trunk/demo/demo50_customized_usermetadata.php
trunk/demo/demo51_zilveer_theme.php
trunk/demo/demo52_in_bangla.php
trunk/demo/demo53_in_armenian.php
trunk/demo/demo54_in_esperanto.php
trunk/demo/demo55_mysql_container.php
trunk/demo/demo56_in_romanian.php
trunk/demo/demo57_in_korean.php
trunk/demo/demo58_in_danish.php
trunk/demo/demo59_in_norwegian_nynorsk.php
trunk/demo/demo5_customized_style.php
trunk/demo/demo60_in_vietnamese.php
trunk/demo/demo61_in_croatian.php
trunk/demo/demo62_in_belgian_dutch.php
trunk/demo/demo63_in_thai.php
trunk/demo/demo64_in_galician.php
trunk/demo/demo65_metadata_and_html.php
trunk/demo/demo6_in_french.php
trunk/demo/demo7_in_english.php
trunk/demo/demo8_with_a_iso-8859-1_encoded_page.php
trunk/demo/demo9_with_a_utf8_encoded_nickname.php
Modified: trunk/demo/demo10_in_chinese.php
===================================================================
--- trunk/demo/demo10_in_chinese.php 2008-03-23 19:50:24 UTC (rev 1226)
+++ trunk/demo/demo10_in_chinese.php 2008-03-23 20:07:12 UTC (rev 1227)
@@ -28,7 +28,7 @@
echo "<p><code>".$filename."</code></p>";
echo "<pre style=\"margin: 0 50px 0 50px; padding: 10px; background-color: #DDD;\">";
$content = file_get_contents($filename);
- echo htmlentities($content);
+ highlight_string($content);
echo "</pre>";
?>
Modified: trunk/demo/demo12_phoenity_smiley_theme.php
===================================================================
--- trunk/demo/demo12_phoenity_smiley_theme.php 2008-03-23 19:50:24 UTC (rev 1226)
+++ trunk/demo/demo12_phoenity_smiley_theme.php 2008-03-23 20:07:12 UTC (rev 1227)
@@ -30,7 +30,7 @@
echo "<p><code>".$filename."</code></p>";
echo "<pre style=\"margin: 0 50px 0 50px; padding: 10px; background-color: #DDD;\">";
$content = file_get_contents($filename);
- echo htmlentities($content);
+ highlight_string($content);
echo "</pre>";
?>
Modified: trunk/demo/demo13_in_german_informal_language.php
===================================================================
--- trunk/demo/demo13_in_german_informal_language.php 2008-03-23 19:50:24 UTC (rev 1226)
+++ trunk/demo/demo13_in_german_informal_language.php 2008-03-23 20:07:12 UTC (rev 1227)
@@ -28,7 +28,7 @@
echo "<p><code>".$filename."</code></p>";
echo "<pre style=\"margin: 0 50px 0 50px; padding: 10px; background-color: #DDD;\">";
$content = file_get_contents($filename);
- echo htmlentities($content);
+ highlight_string($content);
echo "</pre>";
?>
Modified: trunk/demo/demo14_in_german_formal_language.php
===================================================================
--- trunk/demo/demo14_in_german_formal_language.php 2008-03-23 19:50:24 UTC (rev 1226)
+++ trunk/demo/demo14_in_german_formal_language.php 2008-03-23 20:07:12 UTC (rev 1227)
@@ -28,7 +28,7 @@
echo "<p><code>".$filename."</code></p>";
echo "<pre style=\"margin: 0 50px 0 50px; padding: 10px; background-color: #DDD;\">";
$content = file_get_contents($filename);
- echo htmlentities($content);
+ highlight_string($content);
echo "</pre>";
?>
Modified: trunk/demo/demo15_multiple_channel.php
===================================================================
--- trunk/demo/demo15_multiple_channel.php 2008-03-23 19:50:24 UTC (rev 1226)
+++ trunk/demo/demo15_multiple_channel.php 2008-03-23 20:07:12 UTC (rev 1227)
@@ -37,7 +37,7 @@
echo "<p><code>".$filename."</code></p>";
echo "<pre style=\"margin: 0 50px 0 50px; padding: 10px; background-color: #DDD;\">";
$content = file_get_contents($filename);
- echo htmlentities($content);
+ highlight_string($content);
echo "</pre>";
?>
Modified: trunk/demo/demo16_in_arabic.php
===================================================================
--- trunk/demo/demo16_in_arabic.php 2008-03-23 19:50:24 UTC (rev 1226)
+++ trunk/demo/demo16_in_arabic.php 2008-03-23 20:07:12 UTC (rev 1227)
@@ -28,7 +28,7 @@
echo "<p><code>".$filename."</code></p>";
echo "<pre style=\"margin: 0 50px 0 50px; padding: 10px; background-color: #DDD;\">";
$content = file_get_contents($filename);
- echo htmlentities($content);
+ highlight_string($content);
echo "</pre>";
?>
Modified: trunk/demo/demo17_cerutti_smiley_theme.php
===================================================================
--- trunk/demo/demo17_cerutti_smiley_theme.php 2008-03-23 19:50:24 UTC (rev 1226)
+++ trunk/demo/demo17_cerutti_smiley_theme.php 2008-03-23 20:07:12 UTC (rev 1227)
@@ -30,7 +30,7 @@
echo "<p><code>".$filename."</code></p>";
echo "<pre style=\"margin: 0 50px 0 50px; padding: 10px; background-color: #DDD;\">";
$content = file_get_contents($filename);
- echo htmlentities($content);
+ highlight_string($content);
echo "</pre>";
?>
Modified: trunk/demo/demo18_phpbb2_smiley_theme.php
===================================================================
--- trunk/demo/demo18_phpbb2_smiley_theme.php 2008-03-23 19:50:24 UTC (rev 1226)
+++ trunk/demo/demo18_phpbb2_smiley_theme.php 2008-03-23 20:07:12 UTC (rev 1227)
@@ -30,7 +30,7 @@
echo "<p><code>".$filename."</code></p>";
echo "<pre style=\"margin: 0 50px 0 50px; padding: 10px; background-color: #DDD;\">";
$content = file_get_contents($filename);
- echo htmlentities($content);
+ highlight_string($content);
echo "</pre>";
?>
Modified: trunk/demo/demo19_in_japanese.php
===================================================================
--- trunk/demo/demo19_in_japanese.php 2008-03-23 19:50:24 UTC (rev 1226)
+++ trunk/demo/demo19_in_japanese.php 2008-03-23 20:07:12 UTC (rev 1227)
@@ -28,7 +28,7 @@
echo "<p><code>".$filename."</code></p>";
echo "<pre style=\"margin: 0 50px 0 50px; padding: 10px; background-color: #DDD;\">";
$content = file_get_contents($filename);
- echo htmlentities($content);
+ highlight_string($content);
echo "</pre>";
?>
Modified: trunk/demo/demo1_simple.php
===================================================================
--- trunk/demo/demo1_simple.php 2008-03-23 19:50:24 UTC (rev 1226)
+++ trunk/demo/demo1_simple.php 2008-03-23 20:07:12 UTC (rev 1227)
@@ -24,7 +24,7 @@
echo "<p><code>".$filename."</code></p>";
echo "<pre style=\"margin: 0 50px 0 50px; padding: 10px; background-color: #DDD;\">";
$content = file_get_contents($filename);
- echo htmlentities($content);
+ highlight_string($content);
echo "</pre>";
?>
</body>
Modified: trunk/demo/demo20_in_brazilian_portuguese.php
===================================================================
--- trunk/demo/demo20_in_brazilian_portuguese.php 2008-03-23 19:50:24 UTC (rev 1226)
+++ trunk/demo/demo20_in_brazilian_portuguese.php 2008-03-23 20:07:12 UTC (rev 1227)
@@ -28,7 +28,7 @@
echo "<p><code>".$filename."</code></p>";
echo "<pre style=\"margin: 0 50px 0 50px; padding: 10px; background-color: #DDD;\">";
$content = file_get_contents($filename);
- echo htmlentities($content);
+ highlight_string($content);
echo "</pre>";
?>
Modified: trunk/demo/demo21_with_hardcoded_urls.php
===================================================================
--- trunk/demo/demo21_with_hardcoded_urls.php 2008-03-23 19:50:24 UTC (rev 1226)
+++ trunk/demo/demo21_with_hardcoded_urls.php 2008-03-23 20:07:12 UTC (rev 1227)
@@ -39,7 +39,7 @@
echo "<p><code>".$filename."</code></p>";
echo "<pre style=\"margin: 0 50px 0 50px; padding: 10px; background-color: #DDD;\">";
$content = file_get_contents($filename);
- echo htmlentities($content);
+ highlight_string($content);
echo "</pre>";
?>
Modified: trunk/demo/demo22_in_serbian_croatian.php
===================================================================
--- trunk/demo/demo22_in_serbian_croatian.php 2008-03-23 19:50:24 UTC (rev 1226)
+++ trunk/demo/demo22_in_serbian_croatian.php 2008-03-23 20:07:12 UTC (rev 1227)
@@ -28,7 +28,7 @@
echo "<p><code>".$filename."</code></p>";
echo "<pre style=\"margin: 0 50px 0 50px; padding: 10px; background-color: #DDD;\">";
$content = file_get_contents($filename);
- echo htmlentities($content);
+ highlight_string($content);
echo "</pre>";
?>
Modified: trunk/demo/demo23_in_italian.php
===================================================================
--- trunk/demo/demo23_in_italian.php 2008-03-23 19:50:24 UTC (rev 1226)
+++ trunk/demo/demo23_in_italian.php 2008-03-23 20:07:12 UTC (rev 1227)
@@ -28,7 +28,7 @@
echo "<p><code>".$filename."</code></p>";
echo "<pre style=\"margin: 0 50px 0 50px; padding: 10px; background-color: #DDD;\">";
$content = file_get_contents($filename);
- echo htmlentities($content);
+ highlight_string($content);
echo "</pre>";
?>
Modified: trunk/demo/demo24_in_spanish.php
===================================================================
--- trunk/demo/demo24_in_spanish.php 2008-03-23 19:50:24 UTC (rev 1226)
+++ trunk/demo/demo24_in_spanish.php 2008-03-23 20:07:12 UTC (rev 1227)
@@ -28,7 +28,7 @@
echo "<p><code>".$filename."</code></p>";
echo "<pre style=\"margin: 0 50px 0 50px; padding: 10px; background-color: #DDD;\">";
$content = file_get_contents($filename);
- echo htmlentities($content);
+ highlight_string($content);
echo "</pre>";
?>
Modified: trunk/demo/demo25_in_indonesian.php
===================================================================
--- trunk/demo/demo25_in_indonesian.php 2008-03-23 19:50:24 UTC (rev 1226)
+++ trunk/demo/demo25_in_indonesian.php 2008-03-23 20:07:12 UTC (rev 1227)
@@ -28,7 +28,7 @@
echo "<p><code>".$filename."</code></p>";
echo "<pre style=\"margin: 0 50px 0 50px; padding: 10px; background-color: #DDD;\">";
$content = file_get_contents($filename);
- echo htmlentities($content);
+ highlight_string($content);
echo "</pre>";
?>
Modified: trunk/demo/demo26_in_swedish.php
===================================================================
--- trunk/demo/demo26_in_swedish.php 2008-03-23 19:50:24 UTC (rev 1226)
+++ trunk/demo/demo26_in_swedish.php 2008-03-23 20:07:12 UTC (rev 1227)
@@ -28,7 +28,7 @@
echo "<p><code>".$filename."</code></p>";
echo "<pre style=\"margin: 0 50px 0 50px; padding: 10px; background-color: #DDD;\">";
$content = file_get_contents($filename);
- echo htmlentities($content);
+ highlight_string($content);
echo "</pre>";
?>
Modified: trunk/demo/demo27_customized_command.php
===================================================================
--- trunk/demo/demo27_customized_command.php 2008-03-23 19:50:24 UTC (rev 1226)
+++ trunk/demo/demo27_customized_command.php 2008-03-23 20:07:12 UTC (rev 1227)
@@ -70,7 +70,7 @@
echo "<p><code>".$filename."</code></p>";
echo "<pre style=\"margin: 0 50px 0 50px; padding: 10px; background-color: #DDD;\">";
$content = file_get_contents($filename);
- echo htmlentities($content);
+ highlight_string($content);
echo "</pre>";
?>
Modified: trunk/demo/demo28_blune_theme.php
===================================================================
--- trunk/demo/demo28_blune_theme.php 2008-03-23 19:50:24 UTC (rev 1226)
+++ trunk/demo/demo28_blune_theme.php 2008-03-23 20:07:12 UTC (rev 1227)
@@ -29,7 +29,7 @@
echo "<p><code>".$filename."</code></p>";
echo "<pre style=\"margin: 0 50px 0 50px; padding: 10px; background-color: #DDD;\">";
$content = file_get_contents($filename);
- echo htmlentities($content);
+ highlight_string($content);
echo "</pre>";
?>
Modified: trunk/demo/demo28_mini_blune_theme.php
===================================================================
--- trunk/demo/demo28_mini_blune_theme.php 2008-03-23 19:50:24 UTC (rev 1226)
+++ trunk/demo/demo28_mini_blune_theme.php 2008-03-23 20:07:12 UTC (rev 1227)
@@ -31,7 +31,7 @@
echo "<p><code>".$filename."</code></p>";
echo "<pre style=\"margin: 0 50px 0 50px; padding: 10px; background-color: #DDD;\">";
$content = file_get_contents($filename);
- echo htmlentities($content);
+ highlight_string($content);
echo "</pre>";
?>
Modified: trunk/demo/demo29_in_russian.php
===================================================================
--- trunk/demo/demo29_in_russian.php 2008-03-23 19:50:24 UTC (rev 1226)
+++ trunk/demo/demo29_in_russian.php 2008-03-23 20:07:12 UTC (rev 1227)
@@ -28,7 +28,7 @@
echo "<p><code>".$filename."</code></p>";
echo "<pre style=\"margin: 0 50px 0 50px; padding: 10px; background-color: #DDD;\">";
$content = file_get_contents($filename);
- echo htmlentities($content);
+ highlight_string($content);
echo "</pre>";
?>
Modified: trunk/demo/demo2_simple_with_params.php
===================================================================
--- trunk/demo/demo2_simple_with_params.php 2008-03-23 19:50:24 UTC (rev 1226)
+++ trunk/demo/demo2_simple_with_params.php 2008-03-23 20:07:12 UTC (rev 1227)
@@ -46,7 +46,7 @@
echo "<p><code>".$filename."</code></p>";
echo "<pre style=\"margin: 0 50px 0 50px; padding: 10px; background-color: #DDD;\">";
$content = file_get_contents($filename);
- echo htmlentities($content);
+ highlight_string($content);
echo "</pre>";
?>
Modified: trunk/demo/demo31_show_who_is_online-chat.php
===================================================================
--- trunk/demo/demo31_show_who_is_online-chat.php 2008-03-23 19:50:24 UTC (rev 1226)
+++ trunk/demo/demo31_show_who_is_online-chat.php 2008-03-23 20:07:12 UTC (rev 1227)
@@ -32,14 +32,14 @@
echo "<p><code>".$filename."</code></p>";
echo "<pre style=\"margin: 0 50px 0 50px; padding: 10px; background-color: #DDD;\">";
$content = file_get_contents($filename);
- echo htmlentities($content);
+ highlight_string($content);
echo "</pre>";
$filename = __FILE__;
echo "<p><code>".$filename."</code></p>";
echo "<pre style=\"margin: 0 50px 0 50px; padding: 10px; background-color: #DDD;\">";
$content = file_get_contents($filename);
- echo htmlentities($content);
+ highlight_string($content);
echo "</pre>";
?>
</body>
Modified: trunk/demo/demo31_show_who_is_online-whoisonline.php
===================================================================
--- trunk/demo/demo31_show_who_is_online-whoisonline.php 2008-03-23 19:50:24 UTC (rev 1226)
+++ trunk/demo/demo31_show_who_is_online-whoisonline.php 2008-03-23 20:07:12 UTC (rev 1227)
@@ -36,13 +36,13 @@
echo "<p><code>".$filename."</code></p>";
echo "<pre style=\"margin: 0 50px 0 50px; padding: 10px; background-color: #DDD;\">";
$content = file_get_contents($filename);
- echo htmlentities($content);
+ highlight_string($content);
echo "</pre>";
$filename = __FILE__;
echo "<p><code>".$filename."</code></p>";
echo "<pre style=\"margin: 0 50px 0 50px; padding: 10px; background-color: #DDD;\">";
$content = file_get_contents($filename);
- echo htmlentities($content);
+ highlight_string($content);
echo "</pre>";
?>
Modified: trunk/demo/demo32_show_last_messages-chat.php
===================================================================
--- trunk/demo/demo32_show_last_messages-chat.php 2008-03-23 19:50:24 UTC (rev 1226)
+++ trunk/demo/demo32_show_last_messages-chat.php 2008-03-23 20:07:12 UTC (rev 1227)
@@ -26,14 +26,14 @@
echo "<p><code>".$filename."</code></p>";
echo "<pre style=\"margin: 0 50px 0 50px; padding: 10px; background-color: #DDD;\">";
$content = file_get_contents($filename);
- echo htmlentities($content);
+ highlight_string($content);
echo "</pre>";
$filename = __FILE__;
echo "<p><code>".$filename."</code></p>";
echo "<pre style=\"margin: 0 50px 0 50px; padding: 10px; background-color: #DDD;\">";
$content = file_get_contents($filename);
- echo htmlentities($content);
+ highlight_string($content);
echo "</pre>";
?>
</body>
Modified: trunk/demo/demo32_show_last_messages-showlastmsg.php
===================================================================
--- trunk/demo/demo32_show_last_messages-showlastmsg.php 2008-03-23 19:50:24 UTC (rev 1226)
+++ trunk/demo/demo32_show_last_messages-showlastmsg.php 2008-03-23 20:07:12 UTC (rev 1227)
@@ -46,13 +46,13 @@
echo "<p><code>".$filename."</code></p>";
echo "<pre style=\"margin: 0 50px 0 50px; padding: 10px; background-color: #DDD;\">";
$content = file_get_contents($filename);
- echo htmlentities($content);
+ highlight_string($content);
echo "</pre>";
$filename = __FILE__;
echo "<p><code>".$filename."</code></p>";
echo "<pre style=\"margin: 0 50px 0 50px; padding: 10px; background-color: #DDD;\">";
$content = file_get_contents($filename);
- echo htmlentities($content);
+ highlight_string($content);
echo "</pre>";
?>
Modified: trunk/demo/demo33_in_portuguese_from_portugal.php
===================================================================
--- trunk/demo/demo33_in_portuguese_from_portugal.php 2008-03-23 19:50:24 UTC (rev 1226)
+++ trunk/demo/demo33_in_portuguese_from_portugal.php 2008-03-23 20:07:12 UTC (rev 1227)
@@ -28,7 +28,7 @@
echo "<p><code>".$filename."</code></p>";
echo "<pre style=\"margin: 0 50px 0 50px; padding: 10px; background-color: #DDD;\">";
$content = file_get_contents($filename);
- echo htmlentities($content);
+ highlight_string($content);
echo "</pre>";
?>
Modified: trunk/demo/demo34_add_a_link_on_nicknames.php
===================================================================
--- trunk/demo/demo34_add_a_link_on_nicknames.php 2008-03-23 19:50:24 UTC (rev 1226)
+++ trunk/demo/demo34_add_a_link_on_nicknames.php 2008-03-23 20:07:12 UTC (rev 1227)
@@ -28,7 +28,7 @@
echo "<p><code>".$filename."</code></p>";
echo "<pre style=\"margin: 0 50px 0 50px; padding: 10px; background-color: #DDD;\">";
$content = file_get_contents($filename);
- echo htmlentities($content);
+ highlight_string($content);
echo "</pre>";
?>
@@ -37,7 +37,7 @@
echo "<p><code>".$filename."</code></p>";
echo "<pre style=\"margin: 0 50px 0 50px; padding: 10px; background-color: #DDD;\">";
$content = file_get_contents($filename);
- echo htmlentities($content);
+ highlight_string($content);
echo "</pre>";
?>
Modified: trunk/demo/demo35_shared_memory.php
===================================================================
--- trunk/demo/demo35_shared_memory.php 2008-03-23 19:50:24 UTC (rev 1226)
+++ trunk/demo/demo35_shared_memory.php 2008-03-23 20:07:12 UTC (rev 1227)
@@ -66,7 +66,7 @@
echo "<p><code>".$filename."</code></p>";
echo "<pre style=\"margin: 0 50px 0 50px; padding: 10px; background-color: #DDD;\">";
$content = file_get_contents($filename);
- echo htmlentities($content);
+ highlight_string($content);
echo "</pre>";
?>
</body>
Modified: trunk/demo/demo36_in_ukrainian.php
===================================================================
--- trunk/demo/demo36_in_ukrainian.php 2008-03-23 19:50:24 UTC (rev 1226)
+++ trunk/demo/demo36_in_ukrainian.php 2008-03-23 20:07:12 UTC (rev 1227)
@@ -28,7 +28,7 @@
echo "<p><code>".$filename."</code></p>";
echo "<pre style=\"margin: 0 50px 0 50px; padding: 10px; background-color: #DDD;\">";
$content = file_get_contents($filename);
- echo htmlentities($content);
+ highlight_string($content);
echo "</pre>";
?>
Modified: trunk/demo/demo37_in_dutch_from_netherlands.php
===================================================================
--- trunk/demo/demo37_in_dutch_from_netherlands.php 2008-03-23 19:50:24 UTC (rev 1226)
+++ trunk/demo/demo37_in_dutch_from_netherlands.php 2008-03-23 20:07:12 UTC (rev 1227)
@@ -28,7 +28,7 @@
echo "<p><code>".$filename."</code></p>";
echo "<pre style=\"margin: 0 50px 0 50px; padding: 10px; background-color: #DDD;\">";
$content = file_get_contents($filename);
- echo htmlentities($content);
+ highlight_string($content);
echo "</pre>";
?>
Modified: trunk/demo/demo38_in_norwegian_bokmal.php
===================================================================
--- trunk/demo/demo38_in_norwegian_bokmal.php 2008-03-23 19:50:24 UTC (rev 1226)
+++ trunk/demo/demo38_in_norwegian_bokmal.php 2008-03-23 20:07:12 UTC (rev 1227)
@@ -28,7 +28,7 @@
echo "<p><code>".$filename."</code></p>";
echo "<pre style=\"margin: 0 50px 0 50px; padding: 10px; background-color: #DDD;\">";
$content = file_get_contents($filename);
- echo htmlentities($content);
+ highlight_string($content);
echo "</pre>";
?>
Modified: trunk/demo/demo39_in_bosnian.php
===================================================================
--- trunk/demo/demo39_in_bosnian.php 2008-03-23 19:50:24 UTC (rev 1226)
+++ trunk/demo/demo39_in_bosnian.php 2008-03-23 20:07:12 UTC (rev 1227)
@@ -28,7 +28,7 @@
echo "<p><code>".$filename."</code></p>";
echo "<pre style=\"margin: 0 50px 0 50px; padding: 10px; background-color: #DDD;\">";
$content = file_get_contents($filename);
- echo htmlentities($content);
+ highlight_string($content);
echo "</pre>";
?>
Modified: trunk/demo/demo3_client.php
===================================================================
--- trunk/demo/demo3_client.php 2008-03-23 19:50:24 UTC (rev 1226)
+++ trunk/demo/demo3_client.php 2008-03-23 20:07:12 UTC (rev 1227)
@@ -26,21 +26,21 @@
echo "<p><code>".$filename."</code></p>";
echo "<pre style=\"margin: 0 50px 0 50px; padding: 10px; background-color: #DDD;\">";
$content = file_get_contents($filename);
- echo htmlentities($content);
+ highlight_string($content);
echo "</pre>";
$filename = dirname(__FILE__)."/demo3_config.php";
echo "<p><code>".$filename."</code></p>";
echo "<pre style=\"margin: 0 50px 0 50px; padding: 10px; background-color: #DDD;\">";
$content = file_get_contents($filename);
- echo htmlentities($content);
+ highlight_string($content);
echo "</pre>";
$filename = dirname(__FILE__)."/demo3_server.php";
echo "<p><code>".$filename."</code></p>";
echo "<pre style=\"margin: 0 50px 0 50px; padding: 10px; background-color: #DDD;\">";
$content = file_get_contents($filename);
- echo htmlentities($content);
+ highlight_string($content);
echo "</pre>";
?>
</body>
Modified: trunk/demo/demo40_in_turkish.php
===================================================================
--- trunk/demo/demo40_in_turkish.php 2008-03-23 19:50:24 UTC (rev 1226)
+++ trunk/demo/demo40_in_turkish.php 2008-03-23 20:07:12 UTC (rev 1227)
@@ -28,7 +28,7 @@
echo "<p><code>".$filename."</code></p>";
echo "<pre style=\"margin: 0 50px 0 50px; padding: 10px; background-color: #DDD;\">";
$content = file_get_contents($filename);
- echo htmlentities($content);
+ highlight_string($content);
echo "</pre>";
?>
Modified: trunk/demo/demo41_in_greek.php
===================================================================
--- trunk/demo/demo41_in_greek.php 2008-03-23 19:50:24 UTC (rev 1226)
+++ trunk/demo/demo41_in_greek.php 2008-03-23 20:07:12 UTC (rev 1227)
@@ -28,7 +28,7 @@
echo "<p><code>".$filename."</code></p>";
echo "<pre style=\"margin: 0 50px 0 50px; padding: 10px; background-color: #DDD;\">";
$content = file_get_contents($filename);
- echo htmlentities($content);
+ highlight_string($content);
echo "</pre>";
?>
Modified: trunk/demo/demo42_in_chinese_from_taiwan.php
===================================================================
--- trunk/demo/demo42_in_chinese_from_taiwan.php 2008-03-23 19:50:24 UTC (rev 1226)
+++ trunk/demo/demo42_in_chinese_from_taiwan.php 2008-03-23 20:07:12 UTC (rev 1227)
@@ -28,7 +28,7 @@
echo "<p><code>".$filename."</code></p>";
echo "<pre style=\"margin: 0 50px 0 50px; padding: 10px; background-color: #DDD;\">";
$content = file_get_contents($filename);
- echo htmlentities($content);
+ highlight_string($content);
echo "</pre>";
?>
Modified: trunk/demo/demo43_change_the_nicknames_colors.php
===================================================================
--- trunk/demo/demo43_change_the_nicknames_colors.php 2008-03-23 19:50:24 UTC (rev 1226)
+++ trunk/demo/demo43_change_the_nicknames_colors.php 2008-03-23 20:07:12 UTC (rev 1227)
@@ -28,7 +28,7 @@
echo "<p><code>".$filename."</code></p>";
echo "<pre style=\"margin: 0 50px 0 50px; padding: 10px; background-color: #DDD;\">";
$content = file_get_contents($filename);
- echo htmlentities($content);
+ highlight_string($content);
echo "</pre>";
?>
@@ -37,7 +37,7 @@
echo "<p><code>".$filename."</code></p>";
echo "<pre style=\"margin: 0 50px 0 50px; padding: 10px; background-color: #DDD;\">";
$content = file_get_contents($filename);
- echo htmlentities($content);
+ highlight_string($content);
echo "</pre>";
?>
Modified: trunk/demo/demo44_green_theme.php
===================================================================
--- trunk/demo/demo44_green_theme.php 2008-03-23 19:50:24 UTC (rev 1226)
+++ trunk/demo/demo44_green_theme.php 2008-03-23 20:07:12 UTC (rev 1227)
@@ -26,7 +26,7 @@
echo "<p><code>".$filename."</code></p>";
echo "<pre style=\"margin: 0 50px 0 50px; padding: 10px; background-color: #DDD;\">";
$content = file_get_contents($filename);
- echo htmlentities($content);
+ highlight_string($content);
echo "</pre>";
?>
Modified: trunk/demo/demo45_in_bulgarian.php
===================================================================
--- trunk/demo/demo45_in_bulgarian.php 2008-03-23 19:50:24 UTC (rev 1226)
+++ trunk/demo/demo45_in_bulgarian.php 2008-03-23 20:07:12 UTC (rev 1227)
@@ -28,7 +28,7 @@
echo "<p><code>".$filename."</code></p>";
echo "<pre style=\"margin: 0 50px 0 50px; padding: 10px; background-color: #DDD;\">";
$content = file_get_contents($filename);
- echo htmlentities($content);
+ highlight_string($content);
echo "</pre>";
?>
Modified: trunk/demo/demo46_in_hungarian.php
===================================================================
--- trunk/demo/demo46_in_hungarian.php 2008-03-23 19:50:24 UTC (rev 1226)
+++ trunk/demo/demo46_in_hungarian.php 2008-03-23 20:07:12 UTC (rev 1227)
@@ -28,7 +28,7 @@
echo "<p><code>".$filename."</code></p>";
echo "<pre style=\"margin: 0 50px 0 50px; padding: 10px; background-color: #DDD;\">";
$content = file_get_contents($filename);
- echo htmlentities($content);
+ highlight_string($content);
echo "</pre>";
?>
Modified: trunk/demo/demo47_in_polish.php
===================================================================
--- trunk/demo/demo47_in_polish.php 2008-03-23 19:50:24 UTC (rev 1226)
+++ trunk/demo/demo47_in_polish.php 2008-03-23 20:07:12 UTC (rev 1227)
@@ -28,7 +28,7 @@
echo "<p><code>".$filename."</code></p>";
echo "<pre style=\"margin: 0 50px 0 50px; padding: 10px; background-color: #DDD;\">";
$content = file_get_contents($filename);
- echo htmlentities($content);
+ highlight_string($content);
echo "</pre>";
?>
Modified: trunk/demo/demo48_custom_proxy.php
===================================================================
--- trunk/demo/demo48_custom_proxy.php 2008-03-23 19:50:24 UTC (rev 1226)
+++ trunk/demo/demo48_custom_proxy.php 2008-03-23 20:07:12 UTC (rev 1227)
@@ -31,7 +31,7 @@
echo "<p><code>".$filename."</code></p>";
echo "<pre style=\"margin: 0 50px 0 50px; padding: 10px; background-color: #DDD;\">";
$content = file_get_contents($filename);
- echo htmlentities($content);
+ highlight_string($content);
echo "</pre>";
?>
Modified: trunk/demo/demo49_msn_smiley_theme.php
===================================================================
--- trunk/demo/demo49_msn_smiley_theme.php 2008-03-23 19:50:24 UTC (rev 1226)
+++ trunk/demo/demo49_msn_smiley_theme.php 2008-03-23 20:07:12 UTC (rev 1227)
@@ -30,7 +30,7 @@
echo "<p><code>".$filename."</code></p>";
echo "<pre style=\"margin: 0 50px 0 50px; padding: 10px; background-color: #DDD;\">";
$content = file_get_contents($filename);
- echo htmlentities($content);
+ highlight_string($content);
echo "</pre>";
?>
Modified: trunk/demo/demo4_simulate_slow_server.php
===================================================================
--- trunk/demo/demo4_simulate_slow_server.php 2008-03-23 19:50:24 UTC (rev 1226)
+++ trunk/demo/demo4_simulate_slow_server.php 2008-03-23 20:07:12 UTC (rev 1227)
@@ -32,7 +32,7 @@
echo "<p><code>".$filename."</code></p>";
echo "<pre style=\"margin: 0 50px 0 50px; padding: 10px; background-color: #DDD;\">";
$content = file_get_contents($filename);
- echo htmlentities($content);
+ highlight_string($content);
echo "</pre>";
?>
Modified: trunk/demo/demo50_customized_usermetadata.php
===================================================================
--- trunk/demo/demo50_customized_usermetadata.php 2008-03-23 19:50:24 UTC (rev 1226)
+++ trunk/demo/demo50_customized_usermetadata.php 2008-03-23 20:07:12 UTC (rev 1227)
@@ -28,7 +28,7 @@
echo "<p><code>".$filename."</code></p>";
echo "<pre style=\"margin: 0 50px 0 50px; padding: 10px; background-color: #DDD;\">";
$content = file_get_contents($filename);
- echo htmlentities($content);
+ highlight_string($content);
echo "</pre>";
?>
@@ -39,7 +39,7 @@
echo "<p><code>".$filename."</code></p>";
echo "<pre style=\"margin: 0 50px 0 50px; padding: 10px; background-color: #DDD;\">";
$content = file_get_contents($filename);
- echo htmlentities($content);
+ highlight_string($content);
echo "</pre>";
?>
Modified: trunk/demo/demo51_zilveer_theme.php
===================================================================
--- trunk/demo/demo51_zilveer_theme.php 2008-03-23 19:50:24 UTC (rev 1226)
+++ trunk/demo/demo51_zilveer_theme.php 2008-03-23 20:07:12 UTC (rev 1227)
@@ -30,7 +30,7 @@
echo "<p><code>".$filename."</code></p>";
echo "<pre style=\"margin: 0 50px 0 50px; padding: 10px; background-color: #DDD;\">";
$content = file_get_contents($filename);
- echo htmlentities($content);
+ highlight_string($content);
echo "</pre>";
?>
Modified: trunk/demo/demo52_in_bangla.php
===================================================================
--- trunk/demo/demo52_in_bangla.php 2008-03-23 19:50:24 UTC (rev 1226)
+++ trunk/demo/demo52_in_bangla.php 2008-03-23 20:07:12 UTC (rev 1227)
@@ -28,7 +28,7 @@
echo "<p><code>".$filename."</code></p>";
echo "<pre style=\"margin: 0 50px 0 50px; padding: 10px; background-color: #DDD;\">";
$content = file_get_contents($filename);
- echo htmlentities($content);
+ highlight_string($content);
echo "</pre>";
?>
Modified: trunk/demo/demo53_in_armenian.php
===================================================================
--- trunk/demo/demo53_in_armenian.php 2008-03-23 19:50:24 UTC (rev 1226)
+++ trunk/demo/demo53_in_armenian.php 2008-03-23 20:07:12 UTC (rev 1227)
@@ -28,7 +28,7 @@
echo "<p><code>".$filename."</code></p>";
echo "<pre style=\"margin: 0 50px 0 50px; padding: 10px; background-color: #DDD;\">";
$content = file_get_contents($filename);
- echo htmlentities($content);
+ highlight_string($content);
echo "</pre>";
?>
Modified: trunk/demo/demo54_in_esperanto.php
===================================================================
--- trunk/demo/demo54_in_esperanto.php 2008-03-23 19:50:24 UTC (rev 1226)
+++ trunk/demo/demo54_in_esperanto.php 2008-03-23 20:07:12 UTC (rev 1227)
@@ -28,7 +28,7 @@
echo "<p><code>".$filename."</code></p>";
echo "<pre style=\"margin: 0 50px 0 50px; padding: 10px; background-color: #DDD;\">";
$content = file_get_contents($filename);
- echo htmlentities($content);
+ highlight_string($content);
echo "</pre>";
?>
Modified: trunk/demo/demo55_mysql_container.php
===================================================================
--- trunk/demo/demo55_mysql_container.php 2008-03-23 19:50:24 UTC (rev 1226)
+++ trunk/demo/demo55_mysql_container.php 2008-03-23 20:07:12 UTC (rev 1227)
@@ -34,7 +34,7 @@
echo "<p><code>".$filename."</code></p>";
echo "<pre style=\"margin: 0 50px 0 50px; padding: 10px; background-color: #DDD;\">";
$content = file_get_contents($filename);
- echo htmlentities($content);
+ highlight_string($content);
echo "</pre>";
?>
</body>
Modified: trunk/demo/demo56_in_romanian.php
===================================================================
--- trunk/demo/demo56_in_romanian.php 2008-03-23 19:50:24 UTC (rev 1226)
+++ trunk/demo/demo56_in_romanian.php 2008-03-23 20:07:12 UTC (rev 1227)
@@ -28,7 +28,7 @@
echo "<p><code>".$filename."</code></p>";
echo "<pre style=\"margin: 0 50px 0 50px; padding: 10px; background-color: #DDD;\">";
$content = file_get_contents($filename);
- echo htmlentities($content);
+ highlight_string($content);
echo "</pre>";
?>
Modified: trunk/demo/demo57_in_korean.php
===================================================================
--- trunk/demo/demo57_in_korean.php 2008-03-23 19:50:24 UTC (rev 1226)
+++ trunk/demo/demo57_in_korean.php 2008-03-23 20:07:12 UTC (rev 1227)
@@ -28,7 +28,7 @@
echo "<p><code>".$filename."</code></p>";
echo "<pre style=\"margin: 0 50px 0 50px; padding: 10px; background-color: #DDD;\">";
$content = file_get_contents($filename);
- echo htmlentities($content);
+ highlight_string($content);
echo "</pre>";
?>
Modified: trunk/demo/demo58_in_danish.php
===================================================================
--- trunk/demo/demo58_in_danish.php 2008-03-23 19:50:24 UTC (rev 1226)
+++ trunk/demo/demo58_in_danish.php 2008-03-23 20:07:12 UTC (rev 1227)
@@ -28,7 +28,7 @@
echo "<p><code>".$filename."</code></p>";
echo "<pre style=\"margin: 0 50px 0 50px; padding: 10px; background-color: #DDD;\">";
$content = file_get_contents($filename);
- echo htmlentities($content);
+ highlight_string($content);
echo "</pre>";
?>
Modified: trunk/demo/demo59_in_norwegian_nynorsk.php
===================================================================
--- trunk/demo/demo59_in_norwegian_nynorsk.php 2008-03-23 19:50:24 UTC (rev 1226)
+++ trunk/demo/demo59_in_norwegian_nynorsk.php 2008-03-23 20:07:12 UTC (rev 1227)
@@ -28,7 +28,7 @@
echo "<p><code>".$filename."</code></p>";
echo "<pre style=\"margin: 0 50px 0 50px; padding: 10px; background-color: #DDD;\">";
$content = file_get_contents($filename);
- echo htmlentities($content);
+ highlight_string($content);
echo "</pre>";
?>
Modified: trunk/demo/demo5_customized_style.php
===================================================================
--- trunk/demo/demo5_customized_style.php 2008-03-23 19:50:24 UTC (rev 1226)
+++ trunk/demo/demo5_customized_style.php 2008-03-23 20:07:12 UTC (rev 1227)
@@ -36,7 +36,7 @@
echo "<p><code>".$filename."</code></p>";
echo "<pre style=\"margin: 0 50px 0 50px; padding: 10px; background-color: #DDD;\">";
$content = file_get_contents($filename);
- echo htmlentities($content);
+ highlight_string($content);
echo "</pre>";
?>
@@ -45,7 +45,7 @@
echo "<p><code>".$filename."</code></p>";
echo "<pre style=\"margin: 0 50px 0 50px; padding: 10px; background-color: #DDD;\">";
$content = file_get_contents($filename);
- echo htmlentities($content);
+ highlight_string($content);
echo "</pre>";
?>
Modified: trunk/demo/demo60_in_vietnamese.php
===================================================================
--- trunk/demo/demo60_in_vietnamese.php 2008-03-23 19:50:24 UTC (rev 1226)
+++ trunk/demo/demo60_in_vietnamese.php 2008-03-23 20:07:12 UTC (rev 1227)
@@ -28,7 +28,7 @@
echo "<p><code>".$filename."</code></p>";
echo "<pre style=\"margin: 0 50px 0 50px; padding: 10px; background-color: #DDD;\">";
$content = file_get_contents($filename);
- echo htmlentities($content);
+ highlight_string($content);
echo "</pre>";
?>
Modified: trunk/demo/demo61_in_croatian.php
===================================================================
--- trunk/demo/demo61_in_croatian.php 2008-03-23 19:50:24 UTC (rev 1226)
+++ trunk/demo/demo61_in_croatian.php 2008-03-23 20:07:12 UTC (rev 1227)
@@ -28,7 +28,7 @@
echo "<p><code>".$filename."</code></p>";
echo "<pre style=\"margin: 0 50px 0 50px; padding: 10px; background-color: #DDD;\">";
$content = file_get_contents($filename);
- echo htmlentities($content);
+ highlight_string($content);
echo "</pre>";
?>
Modified: trunk/demo/demo62_in_belgian_dutch.php
===================================================================
--- trunk/demo/demo62_in_belgian_dutch.php 2008-03-23 19:50:24 UTC (rev 1226)
+++ trunk/demo/demo62_in_belgian_dutch.php 2008-03-23 20:07:12 UTC (rev 1227)
@@ -28,7 +28,7 @@
echo "<p><code>".$filename."</code></p>";
echo "<pre style=\"margin: 0 50px 0 50px; padding: 10px; background-color: #DDD;\">";
$content = file_get_contents($filename);
- echo htmlentities($content);
+ highlight_string($content);
echo "</pre>";
?>
Modified: trunk/demo/demo63_in_thai.php
===================================================================
--- trunk/demo/demo63_in_thai.php 2008-03-23 19:50:24 UTC (rev 1226)
+++ trunk/demo/demo63_in_thai.php 2008-03-23 20:07:12 UTC (rev 1227)
@@ -24,7 +24,7 @@
echo "<p><code>".$filename."</code></p>";
echo "<pre style=\"margin: 0 50px 0 50px; padding: 10px; background-color: #DDD;\">";
$content = file_get_contents($filename);
- echo htmlentities($content);
+ highlight_string($content);
echo "</pre>";
?>
Modified: trunk/demo/demo64_in_galician.php
===================================================================
--- trunk/demo/demo64_in_galician.php 2008-03-23 19:50:24 UTC (rev 1226)
+++ trunk/demo/demo64_in_galician.php 2008-03-23 20:07:12 UTC (rev 1227)
@@ -24,7 +24,7 @@
echo "<p><code>".$filename."</code></p>";
echo "<pre style=\"margin: 0 50px 0 50px; padding: 10px; background-color: #DDD;\">";
$content = file_get_contents($filename);
- echo htmlentities($content);
+ highlight_string($content);
echo "</pre>";
?>
Modified: trunk/demo/demo65_metadata_and_html.php
===================================================================
--- trunk/demo/demo65_metadata_and_html.php 2008-03-23 19:50:24 UTC (rev 1226)
+++ trunk/demo/demo65_metadata_and_html.php 2008-03-23 20:07:12 UTC (rev 1227)
@@ -27,7 +27,7 @@
echo "<pre style=\"margin: 0 50px 0 50px; padding: 10px; background-color: #DDD;\">";
$content = file_get_contents($filename);
$content = preg_replace('/\<\?php \/\* start hide \*\/ \?\>.*?\<\?php \/\* end hide \*\/ \?\>/s','',$content);
- echo htmlentities($content);
+ highlight_string($content);
echo "</pre>";
?>
@@ -37,7 +37,7 @@
echo "<p><code>".$filename."</code></p>";
echo "<pre style=\"margin: 0 50px 0 50px; padding: 10px; background-color: #DDD;\">";
$content = file_get_contents($filename);
- echo htmlentities($content);
+ highlight_string($content);
echo "</pre>";
?>
<?php /* end hide */ ?>
Modified: trunk/demo/demo6_in_french.php
===================================================================
--- trunk/demo/demo6_in_french.php 2008-03-23 19:50:24 UTC (rev 1226)
+++ trunk/demo/demo6_in_french.php 2008-03-23 20:07:12 UTC (rev 1227)
@@ -28,7 +28,7 @@
echo "<p><code>".$filename."</code></p>";
echo "<pre style=\"margin: 0 50px 0 50px; padding: 10px; background-color: #DDD;\">";
$content = file_get_contents($filename);
- echo htmlentities($content);
+ highlight_string($content);
echo "</pre>";
?>
Modified: trunk/demo/demo7_in_english.php
===================================================================
--- trunk/demo/demo7_in_english.php 2008-03-23 19:50:24 UTC (rev 1226)
+++ trunk/demo/demo7_in_english.php 2008-03-23 20:07:12 UTC (rev 1227)
@@ -28,7 +28,7 @@
echo "<p><code>".$filename."</code></p>";
echo "<pre style=\"margin: 0 50px 0 50px; padding: 10px; background-color: #DDD;\">";
$content = file_get_contents($filename);
- echo htmlentities($content);
+ highlight_string($content);
echo "</pre>";
?>
Modified: trunk/demo/demo8_with_a_iso-8859-1_encoded_page.php
===================================================================
--- trunk/demo/demo8_with_a_iso-8859-1_encoded_page.php 2008-03-23 19:50:24 UTC (rev 1226)
+++ trunk/demo/demo8_with_a_iso-8859-1_encoded_page.php 2008-03-23 20:07:12 UTC (rev 1227)
@@ -34,7 +34,7 @@
echo "<p><code>".$filename."</code></p>";
echo "<pre style=\"margin: 0 50px 0 50px; padding: 10px; background-color: #DDD;\">";
$content = file_get_contents($filename);
- echo htmlentities($content);
+ highlight_string($content);
echo "</pre>";
?>
Modified: trunk/demo/demo9_with_a_utf8_encoded_nickname.php
===================================================================
--- trunk/demo/demo9_with_a_utf8_encoded_nickname.php 2008-03-23 19:50:24 UTC (rev 1226)
+++ trunk/demo/demo9_with_a_utf8_encoded_nickname.php 2008-03-23 20:07:12 UTC (rev 1227)
@@ -29,7 +29,7 @@
echo "<p><code>".$filename."</code></p>";
echo "<pre style=\"margin: 0 50px 0 50px; padding: 10px; background-color: #DDD;\">";
$content = file_get_contents($filename);
- echo htmlentities($content);
+ highlight_string($content);
echo "</pre>";
?>
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
