Remove useless commented code from PHP extension stub