Add a max number of records to load

Hi!

We have a use case where we need to only load the first N records of a file.

It's currently not supported but the change could be minimal.
So in \PhpMyAdmin\ShapeFile\ShapeFile::loadRecords we would need to change

$this->records[] = $record;

to

$this->records[] = $record;
if (count($this->records) >= $this->maxRecords) {
    break;
}

$maxRecords could be initialized to a large value or accept int or bool and code would be

$this->records[] = $record;
if ($this->maxRecords && count($this->records) >= $this->maxRecords) {
    break;
}

Thoughts?

Start at \PhpMyAdmin\ShapeFile\ShapeFile::loadRecords and inspect how record loading is exposed and how the maximum should be configured. Define the intended behavior for an unset or disabled limit, then verify that loading stops after the requested number of records without changing unrestricted loading.