edit image using php
<p>I am using php and I would like to a tool which help users cut their images using php.
When a user uploads an image it is saved (for example as image1.png). I would like to know if there is a function which allows me to do it. What have I to do for example if I want to cut image1.png which has width and height 200px and make it have 100px width?</p>

<p>Thank you for your time!</p>
