[Phpmyadmin-devel] problem with error reporting: TypeError

[Marc Delisle]

Hi,
I am on Firefox 23, Windows 7. On current master, I was using the db 
filter in navi, when I got "An error has occurred".

However, looking the Firebug console, I see, each second, a GET request 
to error_report.php, followed by

TypeError: $nav_tree_content_position(...) is undefined
lines = stacktrace.split('\n');

-- 
Marc Delisle
http://infomarc.info