dash-php. Generate Dash docsets for the official PHP Manual in multiple languages, or build a complete php.net mirror locally.