mirror of
https://github.com/php/doc-en.git
synced 2026-03-26 16:52:25 +01:00
c7a7f596c4
Clarify how to search for jit_debug options, and add an external link to PHP zend_jit.h source file. Hopefully, the clarification and link can save PHP the developer's and user's time/effort with a simple click jumping to where they should go. This patch has been verified on my local machine and link works well. This risk is that doc viewer could get a dead link if PHP source code file location moved or name changed in future. We just hope this is a rare case and will not happen so frequently. We depend on user's bug-report to fix any issue. Reviewed-by: Christoph M. Becker <cmbecker69@gmx.de> Signed-off-by: Su, Tao <tao.su@intel.com> Closes GH-1340.