Hoo man has uploaded a new change for review.

  https://gerrit.wikimedia.org/r/109499


Change subject: Add some wfProfileOut
......................................................................

Add some wfProfileOut

Change-Id: I4699284984f21e97fd85d62ca6d4722d3470a6f3
---
M AbuseFilter.parser.php
1 file changed, 3 insertions(+), 0 deletions(-)


  git pull ssh://gerrit.wikimedia.org:29418/mediawiki/extensions/AbuseFilter 
refs/changes/99/109499/1

diff --git a/AbuseFilter.parser.php b/AbuseFilter.parser.php
index 83ba736..d0d7302 100644
--- a/AbuseFilter.parser.php
+++ b/AbuseFilter.parser.php
@@ -1344,6 +1344,7 @@
                                } elseif ( $tok == "null" ) {
                                        $result = new AFPData();
                                } else {
+                                       wfProfileOut( __METHOD__ );
                                        throw new AFPUserVisibleException(
                                                'unrecognisedkeyword',
                                                $this->mCur->pos,
@@ -1352,9 +1353,11 @@
                                }
                                break;
                        case AFPToken::TNone:
+                               wfProfileOut( __METHOD__ );
                                return; // Handled at entry level
                        case AFPToken::TBrace:
                                if ( $this->mCur->value == ')' ) {
+                                       wfProfileOut( __METHOD__ );
                                        return; // Handled at the entry level
                                }
                        case AFPToken::TSquareBracket:

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

Gerrit-MessageType: newchange
Gerrit-Change-Id: I4699284984f21e97fd85d62ca6d4722d3470a6f3
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/AbuseFilter
Gerrit-Branch: master
Gerrit-Owner: Hoo man <[email protected]>

_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

Reply via email to