class here is not used as php keyword but as regular english. The rest of the docs are wrong. Extension is a class name (and thus refering to actual code)