Merge pull request #58 from westhouseit/patch-1

Fix for Notice -> Undefined index: F0
This commit is contained in:
Nicola Asuni 2018-02-19 14:22:15 +00:00 committed by GitHub
commit 0d61d43a1f
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -21513,7 +21513,7 @@ Putting 1 is equivalent to putting 0 and calling Ln() just after. Default value:
} else {
// placemark to be replaced with the correct number
$pagenum = '{#'.($outline['p']).'}';
if ($templates['F'.$outline['l']]) {
if (isset($templates['F'.$outline['l']]) && $templates['F'.$outline['l']]) {
$pagenum = '{'.$pagenum.'}';
}
$maxpage = max($maxpage, $outline['p']);