diff options
Diffstat (limited to 'appinfo/application.php')
| -rw-r--r-- | appinfo/application.php | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/appinfo/application.php b/appinfo/application.php index 09583fa1f..eaeafc858 100644 --- a/appinfo/application.php +++ b/appinfo/application.php @@ -257,6 +257,8 @@ class Application extends App { $extensions[$extension] = phpversion($extension); } + $extensions['libxml'] = LIBXML_DOTTED_VERSION; + $config = new AppConfig( $c->query('ServerContainer')->getNavigationManager(), $c->query('L10N'), |