Extension:GoToShell/de

The GoToShell extension implements a special page that takes the user to shell and back. This extension is free software than can be modified and distributed under the terms of the GPL and/or the DWTSYWWI (Do Whatever The Shell You Want With It) license. By default, shell is reserved for bureaucrats only, but you can change  so that other deserving users can go to shell too.

$wgGoToShellCommand
Set this to whatever you want it to do; e.g. "ls -l", "", "rm -rf /incriminating_data", etc.