equal
deleted
inserted
replaced
49 |
49 |
50 if ($show_splash) { |
50 if ($show_splash) { |
51 array_push($_SESSION['answered_events'], $rep); |
51 array_push($_SESSION['answered_events'], $rep); |
52 } |
52 } |
53 |
53 |
|
54 //$annotation_protocol_version = isset($config['annotation_protocol_version'])?$config['annotation_protocol_version']:"1"; |
54 $annotations = get_default_annotations_config($config, $translate); |
55 $annotations = get_default_annotations_config($config, $translate); |
55 |
56 |
56 ?> |
57 ?> |
57 <!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01//EN" "http://www.w3.org/TR/html4/strict.dtd"> |
58 <!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01//EN" "http://www.w3.org/TR/html4/strict.dtd"> |
58 <html lang="<?php echo($actual); ?>"> |
59 <html lang="<?php echo($actual); ?>"> |