Implemented very simple PHP for embedding stuff in control pages.