MediaWiki extension to display php class definition