https://schlitt.info/blog/0476_my_first_patch_to_php.html