8
0

Make it possible to not have a jump_buttons option set

Fixes #458
Dieser Commit ist enthalten in:
Stéphane Goetz 2017-05-17 23:15:44 +02:00
Ursprung ea61ca0210
Commit 7021580b2c

Datei anzeigen

@ -22,7 +22,10 @@
<?= $page['content']; ?>
</div>
<?php if ($params['html']['jump_buttons'] && (!empty($page['prev']) || !empty($page['next']))) {
<?php
$buttons = (!empty($page['prev']) || !empty($page['next']));
$has_option = array_key_exists('jump_buttons', $params['html']);
if ($buttons && (($has_option && $params['html']['jump_buttons']) || !$has_option)) {
?>
<nav>
<ul class="Pager">