SVN Commit by dpage: r4950 - in trunk/www: development support
От | svn@pgadmin.org |
---|---|
Тема | SVN Commit by dpage: r4950 - in trunk/www: development support |
Дата | |
Msg-id | 200601221344.k0MDiUlq007494@developer.pgadmin.org обсуждение исходный текст |
Список | 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);
В списке pgadmin-hackers по дате отправления: