misc style issues
authorAntoine Musso <hashar@free.fr>
Wed, 30 Jan 2013 15:05:17 +0000 (16:05 +0100)
committerAntoine Musso <hashar@free.fr>
Wed, 30 Jan 2013 15:12:59 +0000 (16:12 +0100)
commitbb497c97b67e948ce156d9cb738a9b3f926b9bbc
tree4c90fc48e2a2f5b1cf6fb239cd8bbb047864dcc4
parent40cb62d558102134fb2c8e7e3f61d9eae8dff1e7
misc style issues

7zip.inc : $stream is really a private property.

userDupes.inc : still only used by MysqlUpdater, added a comment about
it and made the properties private.

sql.php : make sure we actually do nothing in some method. Previously we
just had an empty IF statement.

purgeList : a private method was named the same as the class, that is
how we declared constructor with PHP4. Renamed it to doPurge() to make
it clear that it is not the constructor.

Rests are whitespaces fixes.

Change-Id: I0b83f83ee3af37c770817ebfce3e804082c2fb41
maintenance/7zip.inc
maintenance/benchmarks/bench_strtr_str_replace.php
maintenance/purgeList.php
maintenance/sql.php
maintenance/userDupes.inc