php7.2-dev 7.2.15-0ubuntu3 (arm64 binary) in ubuntu disco

 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.

Details

Package version:
7.2.15-0ubuntu3
Source:
php7.2 7.2.15-0ubuntu3 source package in Ubuntu
Status:
Obsolete
Component:
main
Priority:
Optional