diff options
| -rw-r--r-- | lib/private/Server.php (renamed from lib/private/server.php) | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/lib/private/server.php b/lib/private/Server.php index 81187cdd715..81187cdd715 100644 --- a/lib/private/server.php +++ b/lib/private/Server.php |