cvs: phpweb /include shared-manual.inc

goba Fri Jun 29 13:57:01 2001 EDT Modified files: /phpweb/include shared-manual.inc Log: If we are on www.php.net, do not redirect to php.net for the notes, if none is given, but say there are absolutely no notes for this page. Index: phpweb/include/shared-manual.inc diff -u phpweb/include/shared-manual.inc:1.104 phpweb/include/shared-manual.inc:1.105 --- phpweb/include/shared-manual.inc:1.104 Thu Jun 28 12:39:55 2001 +++ phpweb/include/shared-manual.inc Fri Jun 29 13:57:00 2001 @@ -223,7 +223,7 @@ } function manualUserNotes($title, $id) { - global $PHP_SELF, $SERVER_NAME, $SERVER_PORT, $LANG; + global $PHP_SELF, $SERVER_NAME, $SERVER_PORT, $LANG, $MYSITE; $cur = substr(dirname($PHP_SELF),-2); if($cur=='al') $cur='en'; @@ -250,11 +250,18 @@ if ( sizeof($notes) == 0 ) { - echo '<tr valign="top">'; - echo '<td bgcolor="#e0e0e0" colspan="2">'; - echo 'User contributed notes are not available on this mirror site; try '; - print_link('http://www.php.net/manual/'.$LANG.'/'.$id, 'here'); - echo '.<br></td></tr>'; + if ( !strstr($MYSITE,"www.php.net") ) { + echo '<tr valign="top">'; + echo '<td bgcolor="#e0e0e0" colspan="2">'; + echo 'User contributed notes are not available on this mirror site; try '; + print_link('http://www.php.net/manual/'.$LANG.'/'.$id, 'here'); + echo '.<br></td></tr>'; + } else { + echo '<tr valign="top">'; + echo '<td bgcolor="#e0e0e0" colspan="2">'; + echo 'There are no user contributed notes for this page.'; + echo '<br></td></tr>'; + } } else {