jenkins-bot has submitted this change and it was merged.
Change subject: define float type for Hooks
......................................................................
define float type for Hooks
Change-Id: Ic7f577135edc6aa6039e8dd620a7fddff3ee61da
---
M PhpTags.php
M includes/BaseHooks.php
2 files changed, 3 insertions(+), 1 deletion(-)
Approvals:
Pastakhov: Looks good to me, approved
jenkins-bot: Verified
diff --git a/PhpTags.php b/PhpTags.php
index 626a434..322b794 100644
--- a/PhpTags.php
+++ b/PhpTags.php
@@ -17,7 +17,7 @@
define( 'PHPTAGS_MAJOR_VERSION', 1 );
define( 'PHPTAGS_MINOR_VERSION', 0 );
-define( 'PHPTAGS_RELEASE_VERSION', 6 );
+define( 'PHPTAGS_RELEASE_VERSION', 7 );
define( 'PHPTAGS_VERSION', PHPTAGS_MAJOR_VERSION . '.' . PHPTAGS_MINOR_VERSION
. '.' . PHPTAGS_RELEASE_VERSION );
// Register this extension on Special:Version
diff --git a/includes/BaseHooks.php b/includes/BaseHooks.php
index ed24709..ff98e9a 100644
--- a/includes/BaseHooks.php
+++ b/includes/BaseHooks.php
@@ -15,6 +15,7 @@
define( 'PHPTAGS_TYPE_NUMBER', 'n' );
define( 'PHPTAGS_TYPE_VOID', 'v' );
define( 'PHPTAGS_TYPE_MIXED', 'm' );
+define( 'PHPTAGS_TYPE_FLOAT', 'f' );
/**
* This class is base for all constants, functions and objects hooks in the
extension PhpTags
@@ -86,6 +87,7 @@
}
break;
case PHPTAGS_TYPE_INT:
+ case PHPTAGS_TYPE_FLOAT:
if ( is_object($args[$i]) ) {
// @todo object name
$transit[PHPTAGS_TRANSIT_EXCEPTION][] = new ExceptionPhpTags(
PHPTAGS_EXCEPTION_NOTICE_OBJECT_CONVERTED, array('unknown', 'int') );
--
To view, visit https://gerrit.wikimedia.org/r/111971
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Ic7f577135edc6aa6039e8dd620a7fddff3ee61da
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/PhpTags
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
