Manual talk:$wgSaveDeletedFiles

Once again, this was introduced before 1.8 as I am currently using it in 1.7.1.