<div dir="ltr">Reading through the coding standards, I found a relic of an age long past.<div><br></div><div>I have attached a patch which fixes this.</div></div>