<?php
+
+namespace Wikimedia\Rdbms;
+
+use InvalidArgumentException;
+
/**
* DBMasterPos class for MySQL/MariaDB
*
/**
* @param string $file Binlog file name
- * @param integer $pos Binlog position
+ * @param int $pos Binlog position
* @param string $gtid Comma separated GTID set [optional]
*/
function __construct( $file, $pos, $gtid = '' ) {