Details
Description
1/ Long ago it was decided (vote on moodle.org) we are going to stop using $Id:$ because it breaks badly in git.
2/ PHP works much better when there is no ?> tag because there can not be any trailing whitespace problems
The 1.9 and HEAD diverged a lot already, we are not expecting any more significant merging from STABLE, now is the time these changes all over the place ![]()
(This would not be possible to do after the next branching in HEAD.)
coding style guide in docs updated