✏️ Editing: ProtectedDirectoryUserType.php