function copy_and_insert_segment($dbc, $id, $segment_id, $prev) { $new_segment_id = copy_segment($dbc, $segment_id); insert_segment_into_article($dbc, $id, $new_segment_id, $prev); }
} } return $images_nos; } $biblio = array(); if (isset($_GET['id'])) { $id = $_GET['id']; $has_right_to_edit = isset($_GET['view']) ? false : has_right_to_edit($dbc, $_SESSION['id'], $id); if (isset($_GET['delete_image'])) { delete_image_from_segment($dbc, $_GET['segment_id'], $_GET['delete_image']); } if (isset($_GET['deleted_segment_id'])) { delete_segment_from_article($dbc, $id, $_GET['deleted_segment_id']); } if (isset($_GET['insert'])) { insert_segment_into_article($dbc, $id, $_GET['insert'], $_GET['prev']); } if (isset($_GET['copy'])) { copy_and_insert_segment($dbc, $id, $_GET['copy'], $_GET['prev']); } $article_info = get_article_info($dbc, $id); $segments = get_segments($dbc, $id); $images = set_image_no($dbc, $segments); ?> <script type ="text/javascript"> function jump(link) { window.location = "#" + link; } </script> <div class="container"> <div class="row">