PHP のコメントで//を使う場合、//の後ろにはスペース入れるものですか？入れないものですか？　主要なコーディング規約で言及されているものがあれば知りたいです。

// コメント

or

//コメント

PSR のページ見るとサンプルは前者で書かれていますが、特に言及されている箇所は見つけられなかったです。
当たり前すぎるのか、特にルールはないのか。(言及されているけれど見つけられてないだけか)
記事サイトなどは前者が多いですが、後者で書いている人もたまに見かけます。

言及されている規約がある場合は教えていただけますとありがたいです。
よろしくお願いいたします。