Switch to PHP for HTML reuse.