Для чего нужен php модуль php7.0-dev?

Question

[Erix Rolex]

Часто встречаю при установке модуль php7.0-dev
Для чего он нужен?

Comments

[MyMac]

Для установки дебаггеров, например. Есть просто команды полезные при разработке.
Но на рабочих серверах это расширение лучше не подключать - тормозит.

[DevMan]

это кагбе вашпе системный пакет, а не модуль пыха.
бред про тормоза можно смело пропустить.

Answer 1

[Папа Стифлера]

Этот пакет содержит заголовочные файлы и утилиты, необходимые для компиляции и сборки сторонних расширений, например. На производительность не влияет совсем.
Список файлов пакета для Ubuntu: https://packages.ubuntu.com/xenial-updates/amd64/p...