Merge pull request #715 from wmde/fix-dont-enable-extension-if-already-enabled

Don't define extension version if already defined

Author: JeroenDeDauw

WikibaseDataModel.php

@@ -7,6 +7,10 @@
  * @author Jeroen De Dauw < jeroendedauw@gmail.com >
  */
 
+if ( defined( 'WIKIBASE_DATAMODEL_VERSION' ) ) {
+	return;
+}
+
 define( 'WIKIBASE_DATAMODEL_VERSION', '6.3.0' );
 
 if ( defined( 'MEDIAWIKI' ) && function_exists( 'wfLoadExtension' ) ) {