added php extractor code, more fixing js expr to php, added --omit-php-extractor option