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');