Merge commit '9cd6b3e1c7cd81d0a4b0da68d9b3ff026c9f6495'

2025-10-16 19:59:11 +00:00 · 2020-01-22 15:04:06 +00:00
parent 4481474d41 9cd6b3e1c7
commit cd55cdf5c6
12 changed files with 19 additions and 57 deletions
--- a/src/utils/Random.php
+++ b/src/utils/Random.php
@@ -35,24 +35,16 @@ class Random{
 	public const Z = 521288629;
 	public const W = 88675123;

-	/**
-	 * @var int
-	 */
+	/** @var int */
 	private $x;

-	/**
-	 * @var int
-	 */
+	/** @var int */
 	private $y;

-	/**
-	 * @var int
-	 */
+	/** @var int */
 	private $z;

-	/**
-	 * @var int
-	 */
+	/** @var int */
 	private $w;

 	/** @var int */