cvs: phpweb /include shared-manual.inc

cmv Thu Jun 28 12:32:33 2001 EDT Modified files: /phpweb/include shared-manual.inc Log: final changes, I hope Index: phpweb/include/shared-manual.inc diff -u phpweb/include/shared-manual.inc:1.102 phpweb/include/shared-manual.inc:1.103 --- phpweb/include/shared-manual.inc:1.102 Thu Jun 28 12:15:33 2001 +++ phpweb/include/shared-manual.inc Thu Jun 28 12:32:33 2001 @@ -223,32 +223,41 @@ } function manualUserNotes($title, $id) { - global $PHP_SELF, $SERVER_NAME, $SERVER_PORT; + global $PHP_SELF, $SERVER_NAME, $SERVER_PORT, $LANG; $cur = substr(dirname($PHP_SELF),-2); if($cur=='al') $cur='en'; echo "<table border=\"0\" cellpadding=\"4\" cellspacing=\"0\" width=\"100%\">\n"; $notes = manualGetUserNotes($title, $id); - if ( sizeof($notes) > 0 ) { - $back_url = 'http://' . $SERVER_NAME . - (($SERVER_PORT==80) ? '' : ':'.$SERVER_PORT ) . - $PHP_SELF; - - echo "<tr bgcolor=\"#d0d0d0\" VALIGN=\"top\">\n"; - echo "<td><small>User Contributed Notes<br></small><b>$title</b><br></td>\n"; - echo "<td align=\"right\">"; - print_link('/manual/add-note.php?sect='.$id.'&redirect='.$back_url, - make_image('notes-add.gif','add a note') - ); - echo "&nbsp;"; - print_link('/manual/about-notes.php', - make_image('notes-about.gif', 'about notes') - ); - echo "<br></td>\n"; - echo "</tr>\n"; + $back_url = 'http://' . $SERVER_NAME . + (($SERVER_PORT==80) ? '' : ':'.$SERVER_PORT ) . + $PHP_SELF; + + echo "<tr bgcolor=\"#d0d0d0\" VALIGN=\"top\">\n"; + echo "<td><small>User Contributed Notes<br></small><b>$title</b><br></td>\n"; + echo "<td align=\"right\">"; + print_link('/manual/add-note.php?sect='.$id.'&redirect='.$back_url, + make_image('notes-add.gif','add a note') + ); + echo "&nbsp;"; + print_link('/manual/about-notes.php', + make_image('notes-about.gif', 'about notes') + ); + echo "<br></td>\n"; + echo "</tr>\n"; + + 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>'; + } else { + foreach($notes as $note) { makeEntry($note['xwhen'], $note['user'], $note['note'], $note['id'] ); } @@ -266,7 +275,8 @@ echo "</tr>\n"; } - echo "</table>\n"; + + echo "</table><br>\n"; } function manualLastModified($title, $id) {