Follow up r48456: Document the new right in DefaultSettings.

* Document the hard coded limit of 5
* Add a right-... message for the new right

includes/DefaultSettings.php

@@ -1259,6 +1259,8 @@ $wgGroupPermissions['bureaucrat']['noratelimit'] = true;
 # $wgGroupPermissions['bureaucrat']['reset-passwords'] = true;
 // Permission to change users' groups assignments across wikis
 #$wgGroupPermissions['bureaucrat']['userrights-interwiki'] = true;
+// Permission to export pages including linked pages regardless of $wgExportMaxLinkDepth
+#$wgGroupPermissions['bureaucrat']['override-export-depth'] = true;
 
 #$wgGroupPermissions['sysop']['deleterevision']  = true;
 // To hide usernames from users and Sysops
@@ -2298,10 +2300,13 @@ $wgExportAllowListContributors = false ;
  * pages linked to from the pages you specify. Since this number
  * can become *insanely large* and could easily break your wiki,
  * it's disabled by default for now.
+ *
+ * There's a HARD CODED limit of 5 levels of recursion to prevent a
+ * crazy-big export from being done by someone setting the depth
+ * number too high. In other words, last resort safety net.
  */
 $wgExportMaxLinkDepth = 0;
 
-
 /**
  * Edits matching these regular expressions in body text
  * will be recognised as spam and rejected automatically.

languages/messages/MessagesEn.php

@@ -1721,6 +1721,7 @@ please see math/README to configure.',
 'right-userrights-interwiki' => 'Edit user rights of users on other wikis',
 'right-siteadmin'            => 'Lock and unlock the database',
 'right-reset-passwords'      => "Reset other users' passwords",
+'right-override-export-depth' => 'Export pages including linked pages up to a depth of 5',
 
 # User rights log
 'rightslog'      => 'User rights log',

maintenance/language/messages.inc

@@ -1038,6 +1038,7 @@ $wgMessageStructure = array(
 		'right-userrights-interwiki',
 		'right-siteadmin',
 		'right-reset-passwords',
+		'right-override-export-depth',
 	),
 	'rightslog' => array(
 		'rightslog',