The PHP manual is very big and the PHP sources change every day. To help the documentation writers work, we have developed a couple of scripts during the last years. Below you will find a list of the scripts, as well a short explanation and usage tips for each one.