The PHP Language Extensions library adds guarantees that PHP itself doesn't enforce — package-level namespace visibility, must-use return values, restricting traits to specific classes, and more — using attributes checked by static analysis. It lets you express and enforce design intent that would otherwise live only in comments.