Merge branch 'master' into master

Cette révision appartient à :
Stéphane Goetz 2017-05-18 22:23:36 +02:00 révisé par GitHub
révision 399ca791d5

Voir le fichier

@ -22,7 +22,11 @@
<?= $page['content']; ?>
</div>
<?php if ((!isset($params['html']['jump_buttons']) || $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">
<?php if (!empty($page['prev'])) {