(BTW it is PHPs feature that there is no need to close the last PHP block in files).
I can't find anything about it in language/basic-syntax. Is it somewhere else or should I add it there?
There's a lack of documentation here. Feel free to add it.
didou
