diff options
Diffstat (limited to 'lib')
| -rw-r--r-- | lib/public/Search/PagedProvider.php (renamed from lib/public/search/pagedprovider.php) | 0 | ||||
| -rw-r--r-- | lib/public/Search/Provider.php (renamed from lib/public/search/provider.php) | 0 | ||||
| -rw-r--r-- | lib/public/Search/Result.php (renamed from lib/public/search/result.php) | 0 |
3 files changed, 0 insertions, 0 deletions
diff --git a/lib/public/search/pagedprovider.php b/lib/public/Search/PagedProvider.php index 80a2896f73f..80a2896f73f 100644 --- a/lib/public/search/pagedprovider.php +++ b/lib/public/Search/PagedProvider.php diff --git a/lib/public/search/provider.php b/lib/public/Search/Provider.php index 9bcbe36ef7a..9bcbe36ef7a 100644 --- a/lib/public/search/provider.php +++ b/lib/public/Search/Provider.php diff --git a/lib/public/search/result.php b/lib/public/Search/Result.php index e90c2619032..e90c2619032 100644 --- a/lib/public/search/result.php +++ b/lib/public/Search/Result.php |