diff options
-rw-r--r-- | lib/private/Comments/Comment.php (renamed from lib/private/comments/comment.php) | 0 | ||||
-rw-r--r-- | lib/private/Comments/Manager.php (renamed from lib/private/comments/manager.php) | 0 | ||||
-rw-r--r-- | lib/private/Comments/ManagerFactory.php (renamed from lib/private/comments/managerfactory.php) | 0 |
3 files changed, 0 insertions, 0 deletions
diff --git a/lib/private/comments/comment.php b/lib/private/Comments/Comment.php index 60663d61578..60663d61578 100644 --- a/lib/private/comments/comment.php +++ b/lib/private/Comments/Comment.php diff --git a/lib/private/comments/manager.php b/lib/private/Comments/Manager.php index b986c8c51f9..b986c8c51f9 100644 --- a/lib/private/comments/manager.php +++ b/lib/private/Comments/Manager.php diff --git a/lib/private/comments/managerfactory.php b/lib/private/Comments/ManagerFactory.php index 044463d1e96..044463d1e96 100644 --- a/lib/private/comments/managerfactory.php +++ b/lib/private/Comments/ManagerFactory.php |