Home
last modified time | relevance | path

Searched hist:"7 b7da9aa0b4871c2238e7ba2388f2f63c61c5f17" (Results 1 – 2 of 2) sorted by relevance

/plugin/upgrade/lang/en/
H A Dlang.php7b7da9aa0b4871c2238e7ba2388f2f63c61c5f17 Mon Apr 23 18:42:05 UTC 2018 Andreas Gohr <andi@splitbrain.org> try to work around some kinks on case insensitive file systems

We now delete existing files before copying, which should ensure the new
file has the case we intended.

Before deleting deprecated files, we make sure the case is an exact
match.

/plugin/upgrade/
H A Dadmin.php7b7da9aa0b4871c2238e7ba2388f2f63c61c5f17 Mon Apr 23 18:42:05 UTC 2018 Andreas Gohr <andi@splitbrain.org> try to work around some kinks on case insensitive file systems

We now delete existing files before copying, which should ensure the new
file has the case we intended.

Before deleting deprecated files, we make sure the case is an exact
match.