if (!class_exists('StubManager')) echo '[[Extension:JSKitRating]] requires [[Extension:StubManager]] version >= 1.1.0'."\n"; else { $wgExtensionCredits['other'][] = array( 'name' => 'JSKitRating', 'version' => '1.3.0', 'author' => 'Jean-Lou Dupont', 'url' => 'http://www.mediawiki.org/wiki/Extension:JSKitRating', 'description' => "Provides integration with JSKit Rating tool.", ); StubManager::createStub2( array( 'class' => 'JSKitRating', 'classfilename' => dirname(__FILE__).'/JSKitRating.body.php', 'mgs' => array( 'jskitrating' ) ) ); } //