jenkins-bot has submitted this change and it was merged.
Change subject: fix version number (v 1.3.1)
......................................................................
fix version number (v 1.3.1)
Change-Id: Ic1662e4e81a9e68d531be1fecad37a8b0d63f286
---
M PhpTagsWidgets.php
1 file changed, 2 insertions(+), 2 deletions(-)
Approvals:
Pastakhov: Looks good to me, approved
jenkins-bot: Verified
diff --git a/PhpTagsWidgets.php b/PhpTagsWidgets.php
index 2690198..067a240 100644
--- a/PhpTagsWidgets.php
+++ b/PhpTagsWidgets.php
@@ -19,7 +19,7 @@
die( 'ERROR: The <a
href="https://www.mediawiki.org/wiki/Extension:PhpTags";>extension PhpTags</a>
must be installed for the extension PhpTags Widgets to run!' );
}
-$needVersion = '3.9.1';
+$needVersion = '3.9.0';
if ( version_compare( PHPTAGS_VERSION, $needVersion, '<' ) ) {
die(
'<b>Error:</b> This version of extension PhpTags Widgets needs
<a href="https://www.mediawiki.org/wiki/Extension:PhpTags";>PhpTags</a> ' .
$needVersion . ' or later.
@@ -33,7 +33,7 @@
);
}
-define( 'PHPTAGS_WIDGETS_VERSION' , '1.3.0' );
+define( 'PHPTAGS_WIDGETS_VERSION' , '1.3.1' );
// Register this extension on Special:Version
$wgExtensionCredits['phptags'][] = array(
--
To view, visit https://gerrit.wikimedia.org/r/176225
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Ic1662e4e81a9e68d531be1fecad37a8b0d63f286
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/PhpTagsWidgets
Gerrit-Branch: master
Gerrit-Owner: Pastakhov <[email protected]>
Gerrit-Reviewer: Pastakhov <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
