The dom shared extension for php
