As mediawiki requires php53, only declare the sources of the plugin if php