[Phpmyadmin-devel] exhausted memory in php-gettext/streams.php

Hello all, Does anyone have thoughts about this Stack Overflow report: http://stackoverflow.com/q/28585506/2385479 -- the user reports the error message Fatal error: Allowed memory size of 205520896 bytes exhausted (tried to allocate 3087007745 bytes) in /phpMyAdmin/libraries/php-gettext/streams.php on line 113. Obviously it's not a widespread issue due to only seeing one report about it, but does anyone have thoughts about it?