diff options
Diffstat (limited to 'lib/private/util.php')
| -rw-r--r-- | lib/private/util.php | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/lib/private/util.php b/lib/private/util.php index 08de46bbfea..2642a71684f 100644 --- a/lib/private/util.php +++ b/lib/private/util.php @@ -497,6 +497,13 @@ class OC_Util { ); $webServerRestart = true; } + if(!class_exists('XMLWriter')) { + $errors[] = array( + 'error'=> $l->t('PHP module %s not installed.', array('XMLWriter')), + 'hint'=>$moduleHint + ); + $webServerRestart = true; + } if(!class_exists('DOMDocument')) { $errors[] = array( 'error'=> $l->t('PHP module %s not installed.', array('dom')), |