Update PHPTextFileIO.php

Check if $bufferSize into setBufferSize function it's a positive number to read