• Sign in
  • Sign up
Elektrine
EN
  • EN English
  • 中 中文
Log in Register
Modes
Overview Search Chat Timeline Communities Gallery Lists Friends Email Vault VPN
Back to Timeline
  • Open on phpc.social

Ondřej Mirtes

@OndrejMirtes@phpc.social
mastodon 4.5.7

Creating @phpstan@phpc.social by day and night. 👨🏻‍💻👨‍👩‍👦‍👦🎮🚴‍♂️

0 Followers
0 Following
Joined December 13, 2022
Twitter:
https://twitter.com/OndrejMirtes
GitHub:
https://github.com/ondrejmirtes/
PHPStan:
https://phpstan.org/

Posts

OndrejMirtes
Ondřej Mirtes
@OndrejMirtes@phpc.social

Creating @ phpstan by day and night. 👨🏻‍💻👨‍👩‍👦‍👦🎮🚴‍♂️

phpc.social
Ondřej Mirtes
Ondřej Mirtes
@OndrejMirtes@phpc.social

Creating @ phpstan by day and night. 👨🏻‍💻👨‍👩‍👦‍👦🎮🚴‍♂️

phpc.social
@OndrejMirtes@phpc.social · Mar 09, 2026

Error identifiers documentation is finally useful! Take a while and browse everything PHPStan can report: https://phpstan.org/error-identifiers

View on phpc.social
Your browser does not support the video tag.
4
0
4
0
OndrejMirtes
Ondřej Mirtes
@OndrejMirtes@phpc.social

Creating @ phpstan by day and night. 👨🏻‍💻👨‍👩‍👦‍👦🎮🚴‍♂️

phpc.social
Ondřej Mirtes
Ondřej Mirtes
@OndrejMirtes@phpc.social

Creating @ phpstan by day and night. 👨🏻‍💻👨‍👩‍👦‍👦🎮🚴‍♂️

phpc.social
@OndrejMirtes@phpc.social · Mar 09, 2026

For the longest time I was bothered that “Documentation” link on phpstan.org led directly to “Getting Started” page, and that some really useful docs pages weren’t discoverable at all.

That changes today. Documentation now has a dashboard with boxes describing what use-case/problem the linked page solves.

View on phpc.social
9
0
6
0
OndrejMirtes
Ondřej Mirtes
@OndrejMirtes@phpc.social

Creating @ phpstan by day and night. 👨🏻‍💻👨‍👩‍👦‍👦🎮🚴‍♂️

phpc.social
Ondřej Mirtes
Ondřej Mirtes
@OndrejMirtes@phpc.social

Creating @ phpstan by day and night. 👨🏻‍💻👨‍👩‍👦‍👦🎮🚴‍♂️

phpc.social
@OndrejMirtes@phpc.social · Mar 04, 2026

Several times a week I tell people their problem can be solved by adding @​phpstan-impure above their non-void function (or by setting rememberPossiblyImpureFunctionValues: false).

Finally, PHPStan will tell them by itself:

View on phpc.social
8
0
8
0
OndrejMirtes
Ondřej Mirtes
@OndrejMirtes@phpc.social

Creating @ phpstan by day and night. 👨🏻‍💻👨‍👩‍👦‍👦🎮🚴‍♂️

phpc.social
Ondřej Mirtes
Ondřej Mirtes
@OndrejMirtes@phpc.social

Creating @ phpstan by day and night. 👨🏻‍💻👨‍👩‍👦‍👦🎮🚴‍♂️

phpc.social
@OndrejMirtes@phpc.social · Mar 03, 2026

I’m gonna prompt inject the agents myself 😈

View on phpc.social
Your browser does not support the video tag.
2
0
1
0
OndrejMirtes
Ondřej Mirtes
@OndrejMirtes@phpc.social

Creating @ phpstan by day and night. 👨🏻‍💻👨‍👩‍👦‍👦🎮🚴‍♂️

phpc.social
Ondřej Mirtes
Ondřej Mirtes
@OndrejMirtes@phpc.social

Creating @ phpstan by day and night. 👨🏻‍💻👨‍👩‍👦‍👦🎮🚴‍♂️

phpc.social
@OndrejMirtes@phpc.social · Feb 23, 2026

Only 12 days after 2.1.39, PHPStan 2.1.40 is out now with 71 fixed issues! 🎉

View on phpc.social
9
0
4
0
OndrejMirtes
Ondřej Mirtes
@OndrejMirtes@phpc.social

Creating @ phpstan by day and night. 👨🏻‍💻👨‍👩‍👦‍👦🎮🚴‍♂️

phpc.social
Ondřej Mirtes
Ondřej Mirtes
@OndrejMirtes@phpc.social

Creating @ phpstan by day and night. 👨🏻‍💻👨‍👩‍👦‍👦🎮🚴‍♂️

phpc.social
@OndrejMirtes@phpc.social · Feb 13, 2026

PHPStan Pro just gained filtering errors by identifier! Huge thanks to @sebastian@phpc.social for the idea!

View on phpc.social
Your browser does not support the video tag.
8
0
5
0
OndrejMirtes
Ondřej Mirtes
@OndrejMirtes@phpc.social

Creating @ phpstan by day and night. 👨🏻‍💻👨‍👩‍👦‍👦🎮🚴‍♂️

phpc.social
Ondřej Mirtes
Ondřej Mirtes
@OndrejMirtes@phpc.social

Creating @ phpstan by day and night. 👨🏻‍💻👨‍👩‍👦‍👦🎮🚴‍♂️

phpc.social
@OndrejMirtes@phpc.social · Feb 13, 2026

PHPStan fully supports PHP 8.5! https://phpstan.org/blog/phpstan-fully-supports-php-8-5

View on phpc.social
24
0
19
0
OndrejMirtes
Ondřej Mirtes
@OndrejMirtes@phpc.social

Creating @ phpstan by day and night. 👨🏻‍💻👨‍👩‍👦‍👦🎮🚴‍♂️

phpc.social
Ondřej Mirtes
Ondřej Mirtes
@OndrejMirtes@phpc.social

Creating @ phpstan by day and night. 👨🏻‍💻👨‍👩‍👦‍👦🎮🚴‍♂️

phpc.social
@OndrejMirtes@phpc.social · Feb 07, 2026

Today is a big day and a big step for PHPStan: for the first time ever, I’m not the only person with merge rights on the repository. Two of the most active contributors, @markusstaab@phpc.social and @misterdeviling@bird.makeup can also merge PRs!

View on phpc.social
50
0
9
0
OndrejMirtes
Ondřej Mirtes
@OndrejMirtes@phpc.social

Creating @ phpstan by day and night. 👨🏻‍💻👨‍👩‍👦‍👦🎮🚴‍♂️

phpc.social
Ondřej Mirtes
Ondřej Mirtes
@OndrejMirtes@phpc.social

Creating @ phpstan by day and night. 👨🏻‍💻👨‍👩‍👦‍👦🎮🚴‍♂️

phpc.social
@OndrejMirtes@phpc.social · Jan 19, 2026

PHPStan 2.1.34 is out with two great advancements:

Optimized performance: between 25 % to 40 % faster times thanks to more caching and raw performance tweaks in code.
More precise analysis with Fibers (super-cool) on PHP 8.1+.
Upgrade today and let me know how it works for you!

View on phpc.social
36
0
19
0
OndrejMirtes
Ondřej Mirtes
@OndrejMirtes@phpc.social

Creating @ phpstan by day and night. 👨🏻‍💻👨‍👩‍👦‍👦🎮🚴‍♂️

phpc.social
Ondřej Mirtes
Ondřej Mirtes
@OndrejMirtes@phpc.social

Creating @ phpstan by day and night. 👨🏻‍💻👨‍👩‍👦‍👦🎮🚴‍♂️

phpc.social
@OndrejMirtes@phpc.social · Jan 14, 2026

I will be at PHP UK 2026 next month! Showing you how to write custom PHPStan rules, and also trying a new thing: I’ll be in the hallway ready to pair-program with you on your own codebase during PHPStan Office Hours!

Use code PHPUK26 for 10 % off the ticket if you plan to go.

View on phpc.social
13
0
4
0

Media

313k7r1n3

Company

  • About
  • Contact
  • FAQ

Legal

  • Terms of Service
  • Privacy Policy
  • VPN Policy

Email Settings

IMAP: imap.elektrine.com:993

POP3: pop.elektrine.com:995

SMTP: smtp.elektrine.com:465

SSL/TLS required

Support

  • support@elektrine.com
  • Report Security Issue

Connect

Tor Hidden Service

khav7sdajxu6om3arvglevskg2vwuy7luyjcwfwg6xnkd7qtskr2vhad.onion
© 2026 Elektrine. All rights reserved. • Server: 07:10:59 UTC