Binary package “php7.2-dev” in ubuntu bionic

Files for PHP7.2 module development

 This package provides the files from the PHP7.2 source needed for compiling
 additional modules.
 .
 PHP (recursive acronym for PHP: Hypertext Preprocessor) is a widely-used
 open source general-purpose scripting language that is especially suited
 for web development and can be embedded into HTML.