Skip to content

Readme: highlight neon, unite PHP code indentation#21

Merged
ondrejmirtes merged 1 commit intophpstan:masterfrom
TomasVotruba:patch-1
Dec 5, 2016
Merged

Readme: highlight neon, unite PHP code indentation#21
ondrejmirtes merged 1 commit intophpstan:masterfrom
TomasVotruba:patch-1

Conversation

@TomasVotruba
Copy link

@TomasVotruba TomasVotruba commented Dec 5, 2016

No description provided.

@TomasVotruba TomasVotruba changed the title Readme: highlight neon, unite php code indentation Readme: highlight neon, unite PHP code indentation Dec 5, 2016
@ondrejmirtes ondrejmirtes merged commit 0281f06 into phpstan:master Dec 5, 2016
@ondrejmirtes
Copy link
Member

ondrejmirtes commented Dec 5, 2016

Thanks, looks great! 👍

@TomasVotruba
Copy link
Author

TomasVotruba commented Dec 6, 2016

Thank you

@TomasVotruba TomasVotruba deleted the patch-1 branch December 6, 2016 00:10
@terryShifft terryShifft mentioned this pull request Aug 1, 2018
Closed
@ondrejmirtes ondrejmirtes mentioned this pull request Aug 9, 2018
Closed
@igads igads mentioned this pull request Aug 27, 2021
Closed
@olivernybroe olivernybroe mentioned this pull request Sep 13, 2021
Closed
@AndLindemann AndLindemann mentioned this pull request Jan 18, 2022
Closed
This was referenced Jan 24, 2022
Closed
Closed
This was referenced Apr 14, 2022
Closed
Closed
@itay-moav itay-moav mentioned this pull request May 27, 2022
Closed
@ChuckHeintzelman ChuckHeintzelman mentioned this pull request Sep 3, 2022
Closed
@rizkypedia rizkypedia mentioned this pull request Sep 26, 2022
Closed
@peternormann peternormann mentioned this pull request Oct 30, 2022
Closed
@thibauttaglialatela thibauttaglialatela mentioned this pull request Nov 9, 2022
Closed
@jonathan-hill-CCG jonathan-hill-CCG mentioned this pull request Nov 15, 2022
Closed
@EnableServices EnableServices mentioned this pull request Nov 25, 2022
Closed
This was referenced Jan 20, 2023
Closed
Closed
@jprmrz jprmrz mentioned this pull request Jun 29, 2023
Closed
@evandrojr evandrojr mentioned this pull request Jul 10, 2023
Closed
@LukeAbell LukeAbell mentioned this pull request Jul 31, 2023
Closed
@lwp-sraspopov lwp-sraspopov mentioned this pull request Sep 4, 2023
Closed
@rx80 rx80 mentioned this pull request Nov 2, 2023
Closed
@wehostadm wehostadm mentioned this pull request Nov 17, 2023
Closed
@linawolf linawolf mentioned this pull request Jan 5, 2024
Closed
@Light-it-luc Light-it-luc mentioned this pull request Mar 15, 2024
Closed
@raimidev raimidev mentioned this pull request Jun 28, 2024
Closed
@johntheteam johntheteam mentioned this pull request Aug 17, 2024
Closed
@tbali0524 tbali0524 mentioned this pull request Nov 11, 2024
Closed
@juanvargasacierto juanvargasacierto mentioned this pull request Nov 14, 2024
Closed
@alf4712 alf4712 mentioned this pull request Nov 21, 2024
Closed
@guillaume-HEEDS guillaume-HEEDS mentioned this pull request Feb 10, 2025
Closed
@perepau perepau mentioned this pull request Mar 17, 2025
Closed
@rx80 rx80 mentioned this pull request Apr 26, 2025
Closed
@klewi1983 klewi1983 mentioned this pull request May 13, 2025
Closed
@hengels hengels mentioned this pull request May 22, 2025
Closed
@murphy-nzl murphy-nzl mentioned this pull request Jun 13, 2025
Closed
@lalitkumarjeengar lalitkumarjeengar mentioned this pull request Aug 19, 2025
Closed
@DKhalil DKhalil mentioned this pull request Sep 11, 2025
Closed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

2 participants

@TomasVotruba @ondrejmirtes