Dudu php files and extensions