Invoke update scripts with php command directly (#1489322)

Thomas Bruederli

2014-01-29 f5007eca741477bf98354a351f7f7cfb9786adcb

 bin/installto.sh

@@ -71,7 +71,7 @@

  if (!$err) {
    echo "Running update script at target...\n";
    system("cd $target_dir && bin/update.sh --version=$oldversion");
    system("cd $target_dir && php bin/update.sh --version=$oldversion");
    echo "All done.\n";
  }
}