Enabling PHP tags in MediaWiki