Creating php files for MediaWiki extension