See https://bugs.php.net/bug.php?id=72117 Basically a bugfix in php caused this issue. So isset is not called more often. We have to catch this. |
||
|---|---|---|
| .. | ||
| l10n | ||
| private | ||
| public | ||
| autoloader.php | ||
| base.php | ||
See https://bugs.php.net/bug.php?id=72117 Basically a bugfix in php caused this issue. So isset is not called more often. We have to catch this. |
||
|---|---|---|
| .. | ||
| l10n | ||
| private | ||
| public | ||
| autoloader.php | ||
| base.php | ||