Code snippets
You will find here 258 code snippets I find useful so I don't have to Google ™ or Stackoverflow ™ them when I need. There are also code snippets I always forget! 😁 Sometimes, related links to the code will be available. The main difference with other random snippets you will find on the web is that in most cases (for the Symfony related ones) you will be able to run them directly from this website to check the output so you can verify it works as expected ™.
This snippet shows how to get the difference between a tag and the current branch with Git. It is straightforward; we have to pass...
GIT
Published on 2024-01-28 • Modified on 2024-01-28
In a previous snippet, we saw a (ugly) hack to convert a string variable to an integer. Here, we validate with the multi-purpose ...
PHP
Published on 2024-01-19 • Modified on 2024-01-19
This snippet shows how to get the PostgreSQL version. Yes, this is as simple as this. Note that this is the exact same query with ...
postgresql
Published on 2024-01-10 • Modified on 2024-01-13
This snippet shows how to obtain the MySQL or MariaDB version. Yes, this is as simple as this. Note that this is the exact same qu...
MySQL
Published on 2024-01-06 • Modified on 2024-01-06
This snippet shows how to test a new Symfony major beta version. We saw how to try the "next" minor version in the previous snippe...
Symfony
Published on 2023-11-01 • Modified on 2023-11-01
This snippet shows how to install a Symfony beta version with the Symfony binary. Note that if a new major version is released, it...
Symfony
Published on 2023-10-28 • Modified on 2023-10-28
This snippet shows how to display the status code of the last executed command in the terminal. It can be helpful in shell scripts...
terminal
Published on 2023-10-21 • Modified on 2023-10-21
This snippet shows how to detect forbidden characters in a string with PHP. Here is one of the many possible solutions using the s...
PHP
Published on 2023-10-15 • Modified on 2023-10-15
This snippet shows how to convert a string to an integer with PHP. Here, we want to extract the "5" from this URL. Problem: there...
PHP
Published on 2023-10-13 • Modified on 2023-10-13
This snippet shows how to convert an emoji into an HTML entity with PHP. This is a way to do it. I'll explore other possible solut...
PHP
Published on 2023-10-10 • Modified on 2023-10-10