SVN Commit by dpage: r4950 - in trunk/www: development support - Mailing list pgadmin-hackers

Author: dpage
Date: 2006-01-22 13:44:30 +0000 (Sun, 22 Jan 2006)
New Revision: 4950

Modified:
   trunk/www/development/changelog.php
   trunk/www/development/todo.php
   trunk/www/support/issues.php
Log:
Tweak for text docs in the source tree


Modified: trunk/www/development/changelog.php
===================================================================
--- trunk/www/development/changelog.php    2006-01-22 13:44:07 UTC (rev 4949)
+++ trunk/www/development/changelog.php    2006-01-22 13:44:30 UTC (rev 4950)
@@ -13,9 +13,9 @@

 ';

-$file = "../svnrepo/pgadmin3/CHANGELOG.txt";
+$file = "../svnrepo/pgadmin3/CHANGELOG";
 if (file_exists($file))
-  $PAGE_CONTENT .= file_get_contents($file);
+  $PAGE_CONTENT .= "<pre>" .  iconv("", "UTF-8//TRANSLIT", file_get_contents($file)) . "</pre>";

 // Display the page
 www_page($PAGE_TITLE, $PAGE_CONTENT);

Modified: trunk/www/development/todo.php
===================================================================
--- trunk/www/development/todo.php    2006-01-22 13:44:07 UTC (rev 4949)
+++ trunk/www/development/todo.php    2006-01-22 13:44:30 UTC (rev 4950)
@@ -13,9 +13,9 @@

 ';

-$file = "../svnrepo/pgadmin3/TODO.txt";
+$file = "../svnrepo/pgadmin3/TODO";
 if (file_exists($file))
-  $PAGE_CONTENT .= file_get_contents($file);
+  $PAGE_CONTENT .= "<pre>" . iconv("", "UTF-8//TRANSLIT", file_get_contents($file)) . "</pre>";

 // Display the page
 www_page($PAGE_TITLE, $PAGE_CONTENT);

Modified: trunk/www/support/issues.php
===================================================================
--- trunk/www/support/issues.php    2006-01-22 13:44:07 UTC (rev 4949)
+++ trunk/www/support/issues.php    2006-01-22 13:44:30 UTC (rev 4950)
@@ -13,9 +13,9 @@

 ';

-$file = "../svnrepo/pgadmin3/BUGS.txt";
+$file = "../svnrepo/pgadmin3/BUGS";
 if (file_exists($file))
-  $PAGE_CONTENT .= file_get_contents($file);
+  $PAGE_CONTENT .= "<pre>" . file_get_contents($file) . "</pre>";

 // Display the page
 www_page($PAGE_TITLE, $PAGE_CONTENT);