Manual:$wgShellboxUrls/de-formal

Details
Shell commands can be run on a remote server using Shellbox. To use this feature, set this to the URLs mapped by the service, and also configure. You can also disable a certain service by setting it to false or null.

would be the default URL if no URL is defined for that service.

For more information about installing Shellbox, see