redef class MPropertyPage
redef fun init_title(v, doc) do
redef class MPropertyPage
redef fun init_title(v, doc) do
section.title = mentity.mproject.html_name
section.subtitle = mentity.mproject.html_declaration
else if mentity isa MProperty then
section.title = mentity.mproject.html_name
section.subtitle = mentity.mproject.html_declaration
else if mentity isa MProperty then
title.add "<span id='{mpropdef.nitdoc_id}'></span>"
if mpropdef.is_intro then
title.add mprop.html_link
title.add "<span id='{mpropdef.nitdoc_id}'></span>"
if mpropdef.is_intro then
title.add mprop.html_link