When creating a private WebDAV repo as an editing teacher or a student (not tested with other roles), the repo isn't displayed in the list of available repository, nor in the filepicker.

Steps to reproduce:

1. Log in as an admin
2. Activate "WebDAV repository" (Enabled and visible) in "Manage repositories" administration page.
3. Check box "Allow users to add a repository instance into the user context" and save
4. Observe under Settings: "0 User private instance(s)", then logout.
5. Log in as a teacher or a student
6. Click on "Repositories" under "My profile" in Navigation block
7. Click on "Create "WebDAV repository" instance"
8. Fill in the form and save
9. After automatic redirection, observe that the WebDAV repository instance is not displayed in the table of available repos
10. Navigate to "My private files" under "My profile" in Navigation block
11. Click on "Add" to open the file picker
12. Observe that the WebDAV repository instance is unavailable in the file picker

Expected behaviour:

• The WebDAV repository instance should be displayed in the table of available repos
• The WebDAV repository instance should be available in the file picker

Notes:

• The repo instance in fact present, as seen when logged in as an admin in the "Manage repositories" administration page: "1 User private instance(s)"
• This bug doesn't affect a admin user.