1 |
commit: aa0ee755adbe5a6e087746f59d346a8981c8e746 |
2 |
Author: Michał Górny <mgorny <AT> gentoo <DOT> org> |
3 |
AuthorDate: Sat Jul 4 07:13:18 2020 +0000 |
4 |
Commit: Michał Górny <mgorny <AT> gentoo <DOT> org> |
5 |
CommitDate: Sat Jul 4 07:15:19 2020 +0000 |
6 |
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=aa0ee755 |
7 |
|
8 |
php-ext-source-r3.eclass: Fix eclassdoc |
9 |
|
10 |
Signed-off-by: Michał Górny <mgorny <AT> gentoo.org> |
11 |
|
12 |
eclass/php-ext-source-r3.eclass | 4 ++-- |
13 |
1 file changed, 2 insertions(+), 2 deletions(-) |
14 |
|
15 |
diff --git a/eclass/php-ext-source-r3.eclass b/eclass/php-ext-source-r3.eclass |
16 |
index 12e4a24facd..b2eae22fb74 100644 |
17 |
--- a/eclass/php-ext-source-r3.eclass |
18 |
+++ b/eclass/php-ext-source-r3.eclass |
19 |
@@ -81,9 +81,9 @@ esac |
20 |
# This allows ordering of extensions such that one is loaded before |
21 |
# or after another. Defaults to the PHP_EXT_NAME. |
22 |
# Example (produces 40-foo.ini file): |
23 |
-# @CODE@ |
24 |
+# @CODE |
25 |
# PHP_INI_NAME="40-foo" |
26 |
-# @CODE@ |
27 |
+# @CODE |
28 |
: ${PHP_INI_NAME:=${PHP_EXT_NAME}} |
29 |
|
30 |
# @ECLASS-VARIABLE: PHP_EXT_NEEDED_USE |