[MediaWiki-commits] [Gerrit] mediawiki...PageForms[master]: Version 4.2.1

2018-01-16 Thread jenkins-bot (Code Review) 
jenkins-bot has submitted this change and it was merged. ( 
https://gerrit.wikimedia.org/r/404493 )

Change subject: Version 4.2.1
..


Version 4.2.1

Change-Id: Id4bcaa250c214a663cec3652ce184d317b680eba
---
M INSTALL
M PageForms.php
M extension.json
M includes/PF_Hooks.php
4 files changed, 5 insertions(+), 5 deletions(-)

Approvals:
  Yaron Koren: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/INSTALL b/INSTALL
index f64c154..88a9bfa 100644
--- a/INSTALL
+++ b/INSTALL
@@ -1,4 +1,4 @@
-[[Page Forms 4.2]]
+[[Page Forms 4.2.1]]
 
 Contents:
 * Disclaimer
@@ -17,7 +17,7 @@
 
 == Requirements ==
 
-The extension requires MediaWiki 1.21 or greater.
+The extension requires MediaWiki 1.23 or greater.
 
 == Installation ==
 
diff --git a/PageForms.php b/PageForms.php
index 50fff08..6cabbd9 100644
--- a/PageForms.php
+++ b/PageForms.php
@@ -69,7 +69,7 @@
return 1;
 }
 
-define( 'PF_VERSION', '4.2' );
+define( 'PF_VERSION', '4.2.1' );
 
 $GLOBALS['wgExtensionCredits']['specialpage'][] = array(
'path' => __FILE__,
diff --git a/extension.json b/extension.json
index 4a5090a..18c48d9 100644
--- a/extension.json
+++ b/extension.json
@@ -1,7 +1,7 @@
 {
"@Note": "When updating this file please also update PageForms.php with 
the same changes.",
"name": "Page Forms",
-   "version": "4.2",
+   "version": "4.2.1",
"author": [
"Yaron Koren",
"Stephan Gambke",
diff --git a/includes/PF_Hooks.php b/includes/PF_Hooks.php
index 1ca3ca2..71ab94c 100644
--- a/includes/PF_Hooks.php
+++ b/includes/PF_Hooks.php
@@ -16,7 +16,7 @@
return 1;
}
 
-   define( 'PF_VERSION', '4.2' );
+   define( 'PF_VERSION', '4.2.1' );
 
$GLOBALS['wgPageFormsIP'] = dirname( __DIR__ ) . '/../';
 

-- 
To view, visit https://gerrit.wikimedia.org/r/404493
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: Id4bcaa250c214a663cec3652ce184d317b680eba
Gerrit-PatchSet: 2
Gerrit-Project: mediawiki/extensions/PageForms
Gerrit-Branch: master
Gerrit-Owner: Yaron Koren 
Gerrit-Reviewer: Yaron Koren 
Gerrit-Reviewer: jenkins-bot <>

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

[MediaWiki-commits] [Gerrit] mediawiki...PageForms[master]: Version 4.2.1

2018-01-16 Thread Yaron Koren (Code Review) 
Yaron Koren has uploaded a new change for review. ( 
https://gerrit.wikimedia.org/r/404493 )

Change subject: Version 4.2.1
..

Version 4.2.1

Change-Id: Id4bcaa250c214a663cec3652ce184d317b680eba
---
M INSTALL
M PageForms.php
M extension.json
M includes/PF_Hooks.php
4 files changed, 5 insertions(+), 5 deletions(-)


  git pull ssh://gerrit.wikimedia.org:29418/mediawiki/extensions/PageForms 
refs/changes/93/404493/2

diff --git a/INSTALL b/INSTALL
index f64c154..88a9bfa 100644
--- a/INSTALL
+++ b/INSTALL
@@ -1,4 +1,4 @@
-[[Page Forms 4.2]]
+[[Page Forms 4.2.1]]
 
 Contents:
 * Disclaimer
@@ -17,7 +17,7 @@
 
 == Requirements ==
 
-The extension requires MediaWiki 1.21 or greater.
+The extension requires MediaWiki 1.23 or greater.
 
 == Installation ==
 
diff --git a/PageForms.php b/PageForms.php
index 50fff08..6cabbd9 100644
--- a/PageForms.php
+++ b/PageForms.php
@@ -69,7 +69,7 @@
return 1;
 }
 
-define( 'PF_VERSION', '4.2' );
+define( 'PF_VERSION', '4.2.1' );
 
 $GLOBALS['wgExtensionCredits']['specialpage'][] = array(
'path' => __FILE__,
diff --git a/extension.json b/extension.json
index 4a5090a..18c48d9 100644
--- a/extension.json
+++ b/extension.json
@@ -1,7 +1,7 @@
 {
"@Note": "When updating this file please also update PageForms.php with 
the same changes.",
"name": "Page Forms",
-   "version": "4.2",
+   "version": "4.2.1",
"author": [
"Yaron Koren",
"Stephan Gambke",
diff --git a/includes/PF_Hooks.php b/includes/PF_Hooks.php
index 1ca3ca2..71ab94c 100644
--- a/includes/PF_Hooks.php
+++ b/includes/PF_Hooks.php
@@ -16,7 +16,7 @@
return 1;
}
 
-   define( 'PF_VERSION', '4.2' );
+   define( 'PF_VERSION', '4.2.1' );
 
$GLOBALS['wgPageFormsIP'] = dirname( __DIR__ ) . '/../';
 

-- 
To view, visit https://gerrit.wikimedia.org/r/404493
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: newchange
Gerrit-Change-Id: Id4bcaa250c214a663cec3652ce184d317b680eba
Gerrit-PatchSet: 2
Gerrit-Project: mediawiki/extensions/PageForms
Gerrit-Branch: master
Gerrit-Owner: Yaron Koren 
Gerrit-Reviewer: jenkins-bot <>

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits