diff options
author | Brian Evans <grknight@gentoo.org> | 2018-01-26 09:52:27 -0500 |
---|---|---|
committer | Brian Evans <grknight@gentoo.org> | 2018-01-29 08:47:12 -0500 |
commit | 2c3113fdedacb36b9b38482640ca6d14dd006438 (patch) | |
tree | bbe1cd882c98d666fd23ccaee19328fefb8b4783 /dev-db/pgadmin4/Manifest | |
parent | dev-python/pyfeyn: add python3_6 (diff) | |
download | gentoo-2c3113fdedacb36b9b38482640ca6d14dd006438.tar.gz gentoo-2c3113fdedacb36b9b38482640ca6d14dd006438.tar.bz2 gentoo-2c3113fdedacb36b9b38482640ca6d14dd006438.zip |
php-ext-source-r3.eclass: Introduce PHP_INI_NAME variable
Currently php-ext-source-r3 saves the enabling ini file as
"${PHP_EXT_NAME}.ini". This is problematic when foo module needs to be
loaded before bar module as things are read in directory order.
This patch introduces PHP_INI_NAME which defaults to PHP_EXT_NAME for
backwards-compatibility.
Bug: https://bugs.gentoo.org/586446
Diffstat (limited to 'dev-db/pgadmin4/Manifest')
0 files changed, 0 insertions, 0 deletions