34b86edc34
Fixes #8705 If the file does not exist (for whatever reason). It is never cached. No matter what the depscache etc tell you. Signed-off-by: Roeland Jago Douma <roeland@famdouma.nl> |
||
---|---|---|
.. | ||
composer | ||
l10n | ||
private | ||
public | ||
autoloader.php | ||
base.php | ||
versioncheck.php |