« Runtime Configuration
Predefined Constants »
PHP Manual
Installing/Configuring
Resource Types
Resource Types
The "counter" extension defines one resource type: a counter.