TODOs for extensions inside PHP.

• wddx