[MediaWiki-commits] [Gerrit] Rename some badly named properties - change (mediawiki...TranslateSvg)

2014-08-09 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. Change subject: Rename some badly named properties .. Rename some badly named properties Change-Id: Ic817b8915000c64da76b42a2ed842a4ef7011365 --- M SVGFormatReader.php 1

[MediaWiki-commits] [Gerrit] Rename some badly named properties - change (mediawiki...TranslateSvg)

2014-08-09 Thread Jarry1250 (Code Review)
Jarry1250 has uploaded a new change for review. https://gerrit.wikimedia.org/r/153061 Change subject: Rename some badly named properties .. Rename some badly named properties Change-Id: Ic817b8915000c64da76b42a2ed842a4ef70113