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">
