Extension allowing to change the name of the current process in PHP - View it on GitHub