Add bulk "Import all missing classes" code action

Author: AJenbo

docs/CHANGELOG.md

@@ -14,9 +14,12 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
 - **Invalid class-like kind diagnostics.** Flags class-like names used in positions where their kind is guaranteed to fail at runtime: `new` on abstract classes, interfaces, traits, or enums; `extends` on a final class, interface, or trait; `implements` with a non-interface; trait `use` with a non-trait; `instanceof` with a trait (always false); `catch` with a non-Throwable type or trait; and traits in native type-hint positions. Severity follows PHP semantics: unconditional fatal errors are Error, runtime-conditional failures are Warning.
 - **Nested array shape inference from multi-level key assignments.** Assignments like `$b['a']['b'] = 'x'` now produce a nested array shape type (`array{a: array{b: string}}`), enabling array key completion and hover for arrays built incrementally with nested keys. Previously only single-level key assignments were tracked.
 - **Machine-readable CLI output.** Both `analyze` and `fix` accept a `--format` flag with three options: `table` (default, the existing human-readable output), `github` (GitHub Actions workflow commands that appear as inline annotations on pull request diffs), and `json` (structured output for dashboards and tooling). When no format is specified and the `GITHUB_ACTIONS` environment variable is set, table output automatically includes GitHub annotations alongside the human-readable table, matching PHPStan's behaviour.
+- **Import all missing classes.** A bulk code action that imports every unresolved class name in the file at once. Only names with a single unambiguous candidate are imported; ambiguous names are left for manual resolution via the single-class import action. Short-name conflicts are detected and skipped. Appears in the quick-fix menu when the cursor is on an unresolved class name and the file has two or more unresolved names.
+- **Context-aware import candidate filtering.** Import class actions now filter candidates by the syntactic context of the reference. After `implements` only interfaces are offered, after trait `use` only traits, after `extends` only classes or interfaces (as appropriate). This eliminates wrong-kind suggestions and reduces ambiguity for both single and bulk imports.
 
 ### Fixed
 
+- **Missing blank line between namespace and first import.** When auto-importing a class into a file that has a namespace declaration but no existing `use` statements and no blank line after the namespace, the inserted `use` statement is now preceded by a blank line (PSR-12 convention). Files that already have a blank line after the namespace are left unchanged.
 - **"Remove all unused imports" missing in braced namespaces.** The bulk action now appears when the cursor is on a `use` line inside a `namespace Foo { … }` block. Previously the brace-depth heuristic treated these as trait-use statements inside a class body.
 - **False-positive undefined variable on nested array access assignment.** `$b['a']['a'] = 'a'` no longer flags `$b` as undefined. The scope collector now correctly propagates write context through nested `ArrayAccess` and `ArrayAppend` expressions, so the base variable is recognized as defined.
 

docs/todo.md

@@ -25,7 +25,6 @@ within the same impact tier.
 
 | #   | Item                                                                                                                         | Impact      | Effort |
 | --- | ---------------------------------------------------------------------------------------------------------------------------- | ----------- | ------ |
-| A36 | [Import all missing classes](todo/actions.md#a36-import-all-missing-classes) (bulk import)                                    | Medium      | Low    |
 | D4  | [Unused variable diagnostic](todo/diagnostics.md#d4-unused-variable-diagnostic)                                              | Medium      | Medium |
 | D12 | [Mago linter integration](todo/diagnostics.md#d12-mago-linter-integration-optional-diagnostics)                              | Medium      | Medium |
 | F4  | [Return type and closure parameter type inlay hints](todo/lsp-features.md#f4-return-type-and-closure-parameter-type-inlay-hints) | Medium  | Medium |

docs/todo/actions.md

@@ -426,39 +426,6 @@ which can silently break filtering, mapping, or event-handling logic.
 
 ---
 
-### A36. Import all missing classes
-
-**Impact: Medium · Effort: Low**
-
-Bulk code action that imports all unresolvable class names in a file at
-once, instead of requiring the user to trigger "Import class" on each
-name individually.
-
-### Behaviour
-
-- **Trigger:** File contains one or more unresolved class names (the
-  same condition that triggers the existing single-class import action).
-  The bulk action appears in the source action menu.
-- **Code action kind:** `source.organizeImports` or
-  `source.importAll`.
-- **Result:** For each unresolved class name, resolve candidates using
-  the same logic as the existing import action. When exactly one
-  candidate exists, import it. When multiple candidates exist, pick the
-  one with the highest namespace affinity (same ranking the single
-  import action uses). Insert all new `use` statements in alphabetical
-  order.
-
-### Edge cases
-
-- If any class name has zero candidates (truly unknown), skip it
-  silently.
-- If two unresolved names would import different classes with the same
-  short name, import the first and skip the second (a conflict that
-  requires manual resolution).
-- Already-imported names are excluded.
-
----
-
 ### A37. Simplify with `?->` (nullsafe operator)
 
 **Impact: Low-Medium · Effort: Medium**

example.php

@@ -2550,6 +2550,9 @@ public function toArray(): array { return []; }
 // Place cursor on `MutateArrayInsertSpec` and press Ctrl+. (or Cmd+. on Mac)
 // to see "Import `Couchbase\MutateArrayInsertSpec`" in the quick-fix menu.
 // Accepting inserts a `use Couchbase\MutateArrayInsertSpec;` at the top.
+//
+// Because this file has two unresolved names, the quick-fix menu also shows
+// "Import all missing classes" which imports both at once.
 
 class ImportClassDemo
 {
@@ -3362,7 +3365,10 @@ private function acceptTrait(JsonSerializer $x): JsonSerializer
     }
 
     // These also produce diagnostics but would crash at class-load time,
-    // so they are═══════════════════════════════════════════════════════════════════════════
+    // so they are commented out.  See the AGENTS.md hoisting pitfall note.
+}
+
+
 // ┏━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━┓
 // ┃  SCAFFOLDING — Supporting definitions below this line.              ┃