[MediaWiki-commits] [Gerrit] mediawiki...Video[master]: Fix PHP Notice: Undefined property: Video::$historyLine in ...

[jenkins-bot (Code Review)]

jenkins-bot has submitted this change and it was merged.

Change subject: Fix PHP Notice:  Undefined property: Video::$historyLine in 
..\extensions\Video\VideoClass.php on line 617 under MW 1.28
..


Fix PHP Notice:  Undefined property: Video::$historyLine in 
..\extensions\Video\VideoClass.php on line 617 under MW 1.28

Change-Id: I801a5f227edfd53f973853ed202c15107ab03350
---
M VideoClass.php
1 file changed, 5 insertions(+), 0 deletions(-)

Approvals:
  Jack Phoenix: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/VideoClass.php b/VideoClass.php
index 45f6f94..b1be28e 100644
--- a/VideoClass.php
+++ b/VideoClass.php
@@ -69,6 +69,11 @@
public $dataLoaded;
 
/**
+* @var Integer: history pointer, see nextHistoryLine() for details
+*/
+   public $historyLine;
+
+   /**
 * @var IContextSource
 */
protected $context;

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

Gerrit-MessageType: merged
Gerrit-Change-Id: I801a5f227edfd53f973853ed202c15107ab03350
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/Video
Gerrit-Branch: master
Gerrit-Owner: Jack Phoenix 
Gerrit-Reviewer: Jack Phoenix 
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...Video[master]: Fix PHP Notice: Undefined property: Video::$historyLine in ...

[Jack Phoenix (Code Review)]

Jack Phoenix has uploaded a new change for review.

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

Change subject: Fix PHP Notice:  Undefined property: Video::$historyLine in 
..\extensions\Video\VideoClass.php on line 617 under MW 1.28
..

Fix PHP Notice:  Undefined property: Video::$historyLine in 
..\extensions\Video\VideoClass.php on line 617 under MW 1.28

Change-Id: I801a5f227edfd53f973853ed202c15107ab03350
---
M VideoClass.php
1 file changed, 5 insertions(+), 0 deletions(-)


  git pull ssh://gerrit.wikimedia.org:29418/mediawiki/extensions/Video 
refs/changes/81/324381/1

diff --git a/VideoClass.php b/VideoClass.php
index 45f6f94..b1be28e 100644
--- a/VideoClass.php
+++ b/VideoClass.php
@@ -69,6 +69,11 @@
public $dataLoaded;
 
/**
+* @var Integer: history pointer, see nextHistoryLine() for details
+*/
+   public $historyLine;
+
+   /**
 * @var IContextSource
 */
protected $context;

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

Gerrit-MessageType: newchange
Gerrit-Change-Id: I801a5f227edfd53f973853ed202c15107ab03350
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/Video
Gerrit-Branch: master
Gerrit-Owner: Jack Phoenix 

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