Rename some variables in DatabaseMysqlBase
authorAaron Schulz <aschulz@wikimedia.org>
Sat, 3 Sep 2016 22:06:59 +0000 (15:06 -0700)
committerAaron Schulz <aschulz@wikimedia.org>
Sat, 3 Sep 2016 22:06:59 +0000 (15:06 -0700)
commit74e3e082e0dc29e0678411fa1d2c726d69721d82
tree6561a770170dfc8d146dd998c7db31d68b9d165c
parentd9f35c8240af1a3b88165479f09dde6458e9f174
Rename some variables in DatabaseMysqlBase

Positions may be MariaDB GTIDs, which can even be kept in sync
in master/master Galera setups.

See https://mariadb.com/kb/en/mariadb/gtid/

Change-Id: I3dc80ae099d0849e57a7278d662317da362ff8fc
includes/db/DatabaseMysqlBase.php