In includes/specials/SpecialExport.php there's a hardcoded limit of 5000 pages in the two functions getPagesFromCategory() and getPagesFromNamespace() [0].

For a variety of reasons I find myself wanting to export pages from a category which has over 5000 pages, and the Special:Export page seems like a convenient place to do this, but of course it limits category page title fetching to 5000.

Would it be:

a) dangerous to fiddle with this value temporarily to facilitate the export, and b) worth considering to split this off in for example a variable one could set in LocalSettings.php?

[0] https://github.com/wikimedia/mediawiki/blob/51e8a36a92f34f6a57d7694df26b8114...