FileDeleteForm + wfLocalFile: PHP hinting