#!/usr/share/codendi/src/utils/php-launcher.sh