diff options
| author | Sam Wilson <sam@samwilson.id.au> | 2016-10-31 12:38:12 +0800 |
|---|---|---|
| committer | Umherirrender <umherirrender_de.wp@web.de> | 2016-10-31 13:57:39 +0000 |
| commit | 66e215baee366f08fb106823020b74e529cff877 (patch) | |
| tree | 27cb115fb8679925e442baaa18f842e9eb13244a /includes/utils | |
| parent | b68f99ccc61412827377b56d6dcc556e4b2a3ca4 (diff) | |
| download | mediawikicore-66e215baee366f08fb106823020b74e529cff877.tar.gz mediawikicore-66e215baee366f08fb106823020b74e529cff877.zip | |
Remove spaces after cast operators
This fixes the outstanding mis-spaced cast operators to bring them
into line with the coding standards on mediawiki.org (and with the
more common usage within this codebase).
Bug: T149545
Change-Id: Ib7bcf95bbee83d20c05f6d621ce7b4e1fb58a347
Diffstat (limited to 'includes/utils')
| -rw-r--r-- | includes/utils/UIDGenerator.php | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/includes/utils/UIDGenerator.php b/includes/utils/UIDGenerator.php index 95b4463abd06..1fd830e4e9bb 100644 --- a/includes/utils/UIDGenerator.php +++ b/includes/utils/UIDGenerator.php @@ -554,9 +554,9 @@ class UIDGenerator { $ts = ( 1000 * $sec + $msec ) * 10000 + (int)$offset + $delta; $id_bin = str_pad( decbin( $ts % pow( 2, 60 ) ), 60, '0', STR_PAD_LEFT ); } elseif ( extension_loaded( 'gmp' ) ) { - $ts = gmp_add( gmp_mul( (string) $sec, '1000' ), (string) $msec ); // ms + $ts = gmp_add( gmp_mul( (string)$sec, '1000' ), (string)$msec ); // ms $ts = gmp_add( gmp_mul( $ts, '10000' ), $offset ); // 100ns intervals - $ts = gmp_add( $ts, (string) $delta ); + $ts = gmp_add( $ts, (string)$delta ); $ts = gmp_mod( $ts, gmp_pow( '2', '60' ) ); // wrap around $id_bin = str_pad( gmp_strval( $ts, 2 ), 60, '0', STR_PAD_LEFT ); } elseif ( extension_loaded( 'bcmath' ) ) { |