close file handler after readdir()
remove obsolete variables
allow user to delete selected files from the trash bin permanently
use  instead of
add missing paramenter to post request
change $_REQUEST to $_POST; fix check if file was successfully deleted
rebase to master
initialize $result
add timestamp to function call; fix trash.js to handle multiple delete operation at once
use "|" as delimiter instead of ";", since "|" is not allowed in file/folder names
switch to json encoded file list
change for loop to make it hopefully work with IE
Merge branch 'master' into trash_bin_delete_selected
Merge pull request #1773 from owncloud/trash_bin_delete_selected

Trash bin delete selected