Labels Milestones
Back= preg_replace('#(/[0-9-]+)-150x150\.gif#', '$1.gif', $article['content']); $article['content'] = preg_replace("@
- Normal -9.820704e-001 1.885144e-001 0.000000e+000 vertex -2.516711e+000.
- -7.119102e-06 facet normal -0.279012 -0.0846382 0.95655 vertex.