owncloud/core — pull request #1892 by schiesbn (2013-02-25 15:35:32+00:00)
Title: delete table row if file was deleted instead of just hide it

This allows to create a new file with the same name of a just deleted file. Otherwise we had to reload the page first.