Merge pull request #86396 from etu/php-upstream-extensions-meta

php.extensions: Add descriptions, homepage and license to all upstream extensions
This commit is contained in:
Maximilian Bosch 2020-05-01 14:26:51 +02:00 committed by GitHub
commit 43a4f128bd
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -829,7 +829,10 @@ in
. $dev/include/
'';
meta.maintainers = lib.teams.php.members;
meta = {
description = "PHP upstream extension: ${name}";
inherit (php.meta) maintainers homepage license;
};
});
# This list contains build instructions for different modules that one may