Na}{

Are you sure you want to delete the file BadCredentialsException.php?

Name	Size	Permission
AccessDeniedException.php	645 bytes	0644
AccountExpiredException.php	656 bytes	0644
AccountStatusException.php	1345 bytes	0644
AuthenticationCredentialsNotFoundException.php	755 bytes	0644
AuthenticationException.php	1810 bytes	0644
AuthenticationServiceException.php	765 bytes	0644
BadCredentialsException.php	661 bytes	0644
CookieTheftException.php	757 bytes	0644
CredentialsExpiredException.php	682 bytes	0644
DisabledException.php	644 bytes	0644
ExceptionInterface.php	442 bytes	0644
InsufficientAuthenticationException.php	820 bytes	0644
InvalidArgumentException.php	514 bytes	0644
InvalidCsrfTokenException.php	651 bytes	0644
LockedException.php	634 bytes	0644
LogoutException.php	627 bytes	0644
NonceExpiredException.php	699 bytes	0644
ProviderNotFoundException.php	761 bytes	0644
RuntimeException.php	490 bytes	0644
SessionUnavailableException.php	904 bytes	0644
TokenNotFoundException.php	657 bytes	0644
UnsupportedUserException.php	572 bytes	0644
UsernameNotFoundException.php	1405 bytes	0644