diff --git a/scripts/checkschema.php b/scripts/checkschema.php index 73fd74302c..cec5773683 100755 --- a/scripts/checkschema.php +++ b/scripts/checkschema.php @@ -2,7 +2,7 @@ $def) { } $schemaUpdater->checkSchema(); +if (have_option('x', 'extensions')) { + $ext = trim(get_option_value('x', 'extensions')); + $exts = explode(',', $ext); + foreach ($exts as $plugin) { + try { + addPlugin($plugin); + } catch (Exception $e) { + print $e->getMessage()."\n"; + exit(1); + } + } +} + Event::handle('CheckSchema');