Improve theme API version retrieval

This commit is contained in:
Daniel Rudolf 2019-10-12 15:01:16 +02:00
parent 87ced8c8bd
commit 6ffbbec689
No known key found for this signature in database
GPG Key ID: A061F02CD8DE4538

View File

@ -1100,7 +1100,7 @@ class Pico
); );
// theme API version // theme API version
if (preg_match('/^[0-9]+$/', $themeConfig['api_version'])) { if (is_int($themeConfig['api_version']) || preg_match('/^[0-9]+$/', $themeConfig['api_version'])) {
$this->themeApiVersion = (int) $themeConfig['api_version']; $this->themeApiVersion = (int) $themeConfig['api_version'];
} else { } else {
$this->themeApiVersion = 0; $this->themeApiVersion = 0;