Recommend ZEND_* macro over PHP_* macro as discussed in php-dev.

diff --git a/CODING_STANDARDS b/CODING_STANDARDS
index f2b675c80e129e70c2200c9ec618661bc2f68cfe..cf6455bf7d218a465773ae7ba12d72cf165de817 100644 (file)
--- a/CODING_STANDARDS
+++ b/CODING_STANDARDS
@@ -60,6 +60,9 @@ Exceptions:
     check its man page again, and only then, consider using it, and even then,
     try avoiding it.
 
+[7] Use ZEND_* macro instead of PHP_* macro. Use of PHP_* macros are
+    not recommended. Since most of PHP_* macros are ZEND_* macro alias, use of
+    PHP_* macro makes browsing source with tag search harder.
 
 Naming Conventions
 ------------------