[Process] Type=Edit file Engine=MediaWiki Script=https://robin.wiki.ifi.uio.no/index.php Server=https://robin.wiki.ifi.uio.no Path= Special namespace=Special [File] Extension=pdf URL=https://robin.wiki.ifi.uio.no/images/d/d6/Fil%3ANifty_gadget.pdf