Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
46 commits
Select commit Hold shift + click to select a range
f18245d
Lay out the playground as editor and output side by side with top and…
alies-dev Nov 2, 2026
1c71e56
Make the editor and output split draggable and remember it
alies-dev Nov 2, 2026
54ebd10
Add keyboard shortcuts to run, share and step through issues
alies-dev Nov 2, 2026
d5e858c
Group settings in a drawer beside the output and count changes from d…
alies-dev Nov 2, 2026
b51e10d
Space out the shortcut hints in the status bar
alies-dev Nov 2, 2026
ea75ed6
Keep issue navigation from scrolling the page and tidy the narrow sta…
alies-dev Nov 2, 2026
a2a12eb
Stop showing the server PHP version in the status bar
alies-dev Nov 2, 2026
68c36ae
Share without leaving the page: copy the link, update the address bar…
alies-dev Nov 2, 2026
2fd17df
Add a Types tab listing inferred types, each selectable in the editor
alies-dev Nov 2, 2026
7466075
Show taint traces and related locations as numbered steps that select…
alies-dev Nov 2, 2026
95d06de
Restore the version format psalm-github-bot parses
alies-dev Nov 2, 2026
32ffe06
feat(playground): highlight lines from #L fragment
alies-dev Nov 2, 2026
afa162c
feat(playground): make Share the primary action and tighten the toolbar
alies-dev Nov 2, 2026
61be2c6
feat(playground): restore the link icon on Share and drop the run timing
alies-dev Nov 2, 2026
52bb3e1
feat(playground): restore Expand/Shrink and add an expanded /playgrou…
alies-dev Nov 2, 2026
0b2b649
feat(nav): link the playground
alies-dev Nov 2, 2026
89f9a25
feat(playground): strip /playground to the playground and link the docs
alies-dev Nov 2, 2026
87d2095
feat(playground): redirect /r, /demo, /try and /sandbox to /playground
alies-dev Nov 2, 2026
16d533c
feat(playground): show each issue's Psalm error level
alies-dev Nov 2, 2026
91c2e65
feat(playground): drop the Docs links from the status bar
alies-dev Nov 2, 2026
291693c
fix(playground): sort issues by position so F8 follows the list
alies-dev Nov 2, 2026
57600fd
feat(playground): link release, commits ahead and commit separately i…
alies-dev Nov 2, 2026
702e6bc
fix(playground): keep the spaces in the status bar Psalm version
alies-dev Nov 2, 2026
c6d0764
feat(playground): put actions on the left and config on the right of …
alies-dev Nov 2, 2026
2fec213
fix(playground): link only the commit count, not the plus sign, in th…
alies-dev Nov 2, 2026
a6cae47
feat(playground): choose Psalm's error level in Settings
alies-dev Nov 7, 2026
9a8eb03
fix(playground): drop the PHP version from the Settings drawer header
alies-dev Nov 7, 2026
08b5711
style(playground): widen the Settings drawer to 380px
alies-dev Nov 7, 2026
54001fa
fix(playground): draw the Settings select focus outline outside its text
alies-dev Nov 7, 2026
67c5c7a
fix(playground): keep two-digit taint step numbers off the trace border
alies-dev Nov 7, 2026
d93c274
feat(playground): add code navigation, hover highlights and a fix pre…
alies-dev Nov 8, 2026
84b68d8
feat(site): serve the playground at /play and trim the main nav
alies-dev Nov 8, 2026
76347f1
build: version stylesheet and script URLs by file mtime
alies-dev Nov 8, 2026
9b1bdd6
feat(home): narrow the page, add Get started and recent blog articles
alies-dev Nov 8, 2026
89c71ec
fix(site): make page titles match the nav
alies-dev Nov 8, 2026
815d11d
refactor(site): route /play to the homepage view with ?page=play
alies-dev Nov 8, 2026
87f8a1e
refactor(playground): render the widget through a function and valida…
alies-dev Nov 8, 2026
f4a23a1
fix(snippet): narrow the fetched row before reading it
alies-dev Nov 8, 2026
9e3addd
fix(site): drop the hard-coded /check cached result
alies-dev Nov 8, 2026
1b08d88
fix(db): let the error_level migration roll back
alies-dev Nov 8, 2026
de7eacf
fix(playground): signature help for callmap-only built-ins, drop unus…
alies-dev Nov 8, 2026
1e54409
fix(playground): convert Psalm byte offsets to UTF-16, keep share sta…
alies-dev Nov 8, 2026
3442a74
style(site): remove CSS for the old playground markup
alies-dev Nov 8, 2026
fbae1db
perf(site): cache /check results for the homepage example
alies-dev Nov 8, 2026
35c9082
fix(site): type the decoded homepage cache entry
alies-dev Nov 8, 2026
e9767da
fix(site): cache the homepage example only for known boolean settings
alies-dev Nov 8, 2026
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
7 changes: 5 additions & 2 deletions .htaccess
Original file line number Diff line number Diff line change
Expand Up @@ -40,8 +40,9 @@ Header set Access-Control-Allow-Origin "*"

# Without explicit headers browsers guess a cache lifetime from the file age
# and can keep stale copies for weeks. Stylesheets and scripts are linked with
# a ?N or ?v=N version that is bumped on every change, so a versioned URL never
# changes and is cached for good; unversioned requests get a short lifetime.
# a ?v=<file mtime> version (includes/asset.php, or ?v=N in mkdocs.yml), so a
# versioned URL never changes and is cached for good; unversioned requests get
# a short lifetime.
# mkdocs-material's hashed assets never change either.
<IfModule mod_headers.c>
<FilesMatch "\.(css|js)$">
Expand Down Expand Up @@ -100,6 +101,8 @@ RewriteRule ^r/([a-z0-9]+)$ /views/snippet.php?r=$1 [L,NC]
RewriteRule ^check$ /views/check.php [L,NC]
RewriteRule ^sitemap\.xml$ /views/sitemap.php [L,NC]
RewriteRule ^add_code$ /views/add_code.php [L,NC]
RewriteRule ^play/?$ /views/index.php?page=play [L,NC,QSA]
RewriteRule ^(playground|r|demo|try|sandbox)/?$ /play [R=301,L,NC,QSA]
# RewriteRule ^migrate$ /views/migrate.php [L,NC,QSA]
RewriteRule ^quickstart/?$ https://psalm.dev/docs/running_psalm/installation/ [R=301,L]
RewriteRule ^contribute/?$ /views/contribute.php [L,NC]
Expand Down
Loading
Loading