Manual talk:$wgFileStore

This variable was introduced before version 1.8 - I am using it in 1.7.1 currently.

Permanently deleting files?
Sorry if this should be obvious, but is there a good way to permanently delete a file in >1.11? I tried changing wgFileStore['deleted']['directory'] to /dev/null and it didn't like that much. Thanks!