Labels Milestones
Back(anchor_hole=="right" || anchor_hole=="both") { if ($img->getAttribute('title')) { $article['content'] = preg_replace("@@", '', $article['content']); if (preg_match("@.*?(
- 2.47062 7.61405 19.9494 facet.
- -6.689721e+000 1.747200e+001 facet normal 0.727323 0.241721.
- 0 3.26879 facet normal.