2 Commits

Include renames

Author	SHA1	Message	Date
xzfc	74a785218b	Fix type-checking errors in snippets (code only, no .md) ... This commit both: - Fixes pre-existing mistakes in snippets, aka wrong code samples. - Adds hidden (`@hide`) statements that do not appear in the docs, but satisfy typecheckers.	2025-11-28 22:02:07 +00:00
xzfc	00896acb28	Automated snippet conversion by scripts ... These changes are purely mechanical to differentiate them from manual fixes/adjustments made in the next commit. This results in broken code as some snippets contain errors. Made in four steps: 1. Run ./migrate-snippet.py that converts `.md` files to code files and perhaps adds missing lines under `// @hide` comments. 2. Sort Java imports. 3. Remove old `.md` files. 4. Run ./generate.md to produce `*/generated/*.md` files.	2025-11-28 22:00:47 +00:00