Extension:PhpTags Widgets

The PhpTags Widgets extension does foo.