Extension:Toolhub/de-formal

The Toolhub extension provides a Scribunto library for interacting with the Toolhub API.

Configuration parameters

 * $wgToolhubBaseUrl
 * Base URL for Toolhub instance. Default