How to bump 10k records csv export limit in Data Explorer?

Dev
9

A post was split to a new topic: Creating a plugin to override QUERY_RESULT_MAX_LIMIT