Possible issue with removal of "inc/Plugin.php" since "Greebo"

[TP75]

There seems to be an issue regarding to the current inc/Plugin.php (capital P) file and the previous inc/plugin.php file since the Release 2018-04-22 "Greebo" dokuwiki upgrade.

• Stable 2018-04-22 "Greebo" contains a file inc/Plugin.php (capital P) by 2018-04-22 with 251 Byte.
• Old stable 2017-02-19e "Frusterick Manners" contains a file inc/plugin.php by 2017-08-23 with 10,023 Byte.

with the current stable deleted.files list referring the previous inc/plugin.php file to be removed:

# This is a list of files that were present in previous DokuWiki releases
# but were removed later. An up to date DokuWiki should not have any of
# the files installed

# removed in 2018-04-22
data/security.png
data/security.xcf
inc/EmailAddressValidator.php
inc/blowfish.php
inc/feedcreator.class.php
inc/lessc.inc.php
inc/plugin.php
lib/images/loading.gif
lib/tpl/dokuwiki/css/_search.css
vendor/easybook/geshi
vendor/phpseclib/phpseclib/composer.lock

# remove in 2017-02-19

see (https://raw.githubusercontent.com/splitbrain/dokuwiki/stable/data/deleted.files)

This leads to issues certainly on a case-insensitive file system like HFS+ on Mac OS X i.e. macOS.

Please have a look at the discussion in the DokuWiki Forum 60569: "After upgrade to Greebo, failed to open stream".