remove deleted files on update of extension

[Klap-in]

Resolves #1192 by supporting:

/lib/plugins/<plugin>/deleted.files
which list files that can be removed e.g.

# This is a list of files that were present in previous plugin releases
# but were removed later. An up to date plugin should not have any of
# the files installed
action.php
folder/file.txt

[scrutinizer-notifier]

The inspection completed: 1 updated code elements

[Klap-in]

Question:

If I install a branch of the ODT plugin via the url-installer of the Extension Plugin, then I got all the included files as duplicated .gz file.
https://github.com/LarsGit223/dokuwiki-plugin-odt/archive/deletedfiles.zip

Can someone reproduce that?

Edit:

• same behavior for manual upload of .zip and for download of url from extension repository.
  I'm using the last checkout from git in this wiki.
• other plugins from github are affected as well. None not-github plugins tested.

[splitbrain]

👍 looks good to me

[Klap-in]

Makes this still chance to be included in Detritus? :-)

[splitbrain]

sure :-)

[Klap-in]

nice!