equal
deleted
inserted
replaced
138 echo "</tr>\n"; |
138 echo "</tr>\n"; |
139 } |
139 } |
140 echo "</table>\n"; |
140 echo "</table>\n"; |
141 echo "</div>\n"; |
141 echo "</div>\n"; |
142 if (!is_null($_SESSION["recht"]) && !in_array("ie",$_SESSION["recht"])) |
142 if (!is_null($_SESSION["recht"]) && !in_array("ie",$_SESSION["recht"])) |
143 echo "<p> <a href=\"info_flist.php\" target=\"_self\" title=\"Infoliste\">Zurück zur Infoliste</a></p>\n"; |
143 echo "<p> <a href=\"info_flist.php\" target=\"_self\" title=\"Infoliste\">« zur Infoliste</a></p>\n"; |
144 echo "</form>\n"; |
144 echo "</form>\n"; |
145 |
145 |
146 |
146 |
147 } |
147 } |
148 elseif ($ok && $upd) |
148 elseif ($ok && $upd) |