Labels Milestones
Back== $title_text){ } elseif (strpos($alt_text, $title_text) !== false){ // there's both alt and title.
- (end 2.011 2.468 (end 2.011 2.468 (end 2.011.
- -8.773841e-01 3.384709e-04 vertex -1.010094e+02 9.268895e+01 4.255000e+01 facet normal.