jenkins-bot has submitted this change and it was merged. Change subject: Updated, fixed URLs ......................................................................
Updated, fixed URLs Change-Id: Ic29bc9de1182c6a10fc9505281acdbc8a691b656 --- M SemanticBundle.php 1 file changed, 6 insertions(+), 6 deletions(-) Approvals: Yaron Koren: Checked; Looks good to me, approved jenkins-bot: Verified diff --git a/SemanticBundle.php b/SemanticBundle.php index 0ecc1a8..80f379f 100644 --- a/SemanticBundle.php +++ b/SemanticBundle.php @@ -1,12 +1,12 @@ <?php /** - * SemanticBundle - A pre-packaged bundle of extensions meant to be used on wikis - * based around the Semantic MediaWiki extension. + * Semantic Bundle - A pre-packaged bundle of extensions that includes + * Semantic MediaWiki and many of the extensions used in conjunction with it. * - * Documentation: https://www.mediawiki.org/wiki/SemanticBundle - * Support https://www.mediawiki.org/wiki/Talk:SemanticBundle - * Source code: https://gerrit.wikimedia.org/r/gitweb?p=mediawiki/extensions/SemanticBundle.git + * Documentation: https://www.mediawiki.org/wiki/Semantic_Bundle + * Support: https://www.mediawiki.org/wiki/Talk:Semantic_Bundle + * Source code: http://git.wikimedia.org/tree/mediawiki%2Fextensions%2FSemanticBundle * * @file * @defgroup SemanticBundle @@ -25,7 +25,7 @@ exit( 1 ); } -define( 'SemanticBundle_VERSION', '1.8.0.5.3' ); +define( 'SemanticBundle_VERSION', '1.9.2' ); $wgExtensionCredits['semantic'][] = array( 'path' => __FILE__, -- To view, visit https://gerrit.wikimedia.org/r/130076 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: Ic29bc9de1182c6a10fc9505281acdbc8a691b656 Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/extensions/SemanticBundle Gerrit-Branch: master Gerrit-Owner: Yaron Koren <yaro...@gmail.com> Gerrit-Reviewer: Yaron Koren <yaro...@gmail.com> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
