Following fixes: admin theme supports <button> tag now, PageProcessor can eval now, and SpecialAdmin.php plugin can no longer be disabled

.sourceIframe {
	border: 1px solid #808080;
}