this hopefully finally fixes the <hr> issue for the php index/glossary
this hopefully finally fixes the <hr> issue for the php index/glossary

born2late/afterstep-devel,born2late/afterstep-devel,born2late/afterstep-devel,born2late/afterstep-devel,born2late/afterstep-devel