[Desktop Entry]
Name=The PHP 7.2.11 HTML manual in English
Comment=The PHP 7.2.11 HTML manual in English
Exec=/usr/bin/www-browser /usr/share/doc/php-manual-en/index.html
Icon=documentation_section
Terminal=false
Type=Application
StartupNotify=true
Categories=Documentation;