3 ms·As the PHP documentation is in git it's easy to have a up to date copy locally.by 0x073 2y agoAs the PHP documentation is in git it's easy to have a up to date copy locally.