fix doc, add inf-php-enable-launch-workaround