<div dir="ltr">Hi,<div class="gmail_extra"><br><div class="gmail_quote">2014/1/6 Marc Delisle <span dir="ltr"><<a href="mailto:marc@infomarc.info" target="_blank">marc@infomarc.info</a>></span><br><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex">

Hi devs,<br>
be aware that there can be false alarms in the PHPMD report. For example, in<br>
foreach ($tabs as $key => $value) {<br>
<br>
there is a report about unused $value, but we need it anyway, due to the<br>
foreach syntax.<br></blockquote><div><br></div><div>We could change this by extracting the keys (with array_keys()) and loop on this new array.</div><div>But I don't know the effect on the performance… This could be tested.</div>

<div><br></div><div>Hugues. </div></div></div></div>