Special gitignore for the "dev" branch
PHP  documentation