Correct PHPDoc comment for [[x||y]]