EBernhardson has uploaded a new change for review.
https://gerrit.wikimedia.org/r/325707
Change subject: Annotate class properties of SpecialRandomInCategory
......................................................................
Annotate class properties of SpecialRandomInCategory
Change-Id: I44db84a0cf58a08b023e4091948e99b40f17fa60
---
M includes/specials/SpecialRandomInCategory.php
1 file changed, 8 insertions(+), 3 deletions(-)
git pull ssh://gerrit.wikimedia.org:29418/mediawiki/core
refs/changes/07/325707/1
diff --git a/includes/specials/SpecialRandomInCategory.php
b/includes/specials/SpecialRandomInCategory.php
index efb1748..90820e3 100644
--- a/includes/specials/SpecialRandomInCategory.php
+++ b/includes/specials/SpecialRandomInCategory.php
@@ -47,10 +47,15 @@
* @ingroup SpecialPage
*/
class SpecialRandomInCategory extends FormSpecialPage {
- protected $extra = []; // Extra SQL statements
- protected $category = false; // Title object of category
- protected $maxOffset = 30; // Max amount to fudge randomness by.
+ /** @var array Extra SQL statements */
+ protected $extra = [];
+ /** @var Title|null Title object of category */
+ protected $category = null;
+ /** @var int Max amount to fudge randomness by */
+ protected $maxOffset = 30;
+ /** @var string|null */
private $maxTimestamp = null;
+ /** @var string|null */
private $minTimestamp = null;
public function __construct( $name = 'RandomInCategory' ) {
--
To view, visit https://gerrit.wikimedia.org/r/325707
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: newchange
Gerrit-Change-Id: I44db84a0cf58a08b023e4091948e99b40f17fa60
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/core
Gerrit-Branch: master
Gerrit-Owner: EBernhardson <ebernhard...@wikimedia.org>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
