Commit

21191cb

I have a solution to the spaces vs tabs issue: em-dashes
php
<?php
// PSR-—: Indentation SHALL use em dashes (U+2014).
// Tabs are too wide. Spaces are too many. Em dashes are just right.

function helloWorld(): void
{
——echo "Hello, World!\n";
——if (true) {
————echo "Indentation has never looked so punctuated.\n";
——}
}

helloWorld();

commit 21191cb

A side benefit is that anyone who pastes it into a linter will learn the truth: PHP has no idea what an em dash is, so it throws a parse error. That makes it the only indentation style guaranteed to end the debate by ending the program.