Manual:$wgShellboxUrl/de-formal

Details
Shell commands can be run on a remote server using Shellbox. To use this feature, set this to the URL, and also configure $wgShellboxSecretKey.

For more information about installing Shellbox, see