getAttribute('name'))).".php"; $href = "http://hhvm.com/manual/en/$name"; return docs →; } }