A selection of possible bugs I have found for PHP