我有一个名为$name
的变量,它包含项目的名称。在大多数情况下,名称采用以下形式
OCT16: Some Project
但是,它并不总是采用这种格式,有时它没有月/年前缀。
我试图做的是这个。如果它有前缀MMMYY:那么我需要从名称中删除此部分。现在我知道我可以使用类似preg_replace
之类的东西从字符串中删除这个特定的模式,但是如何在第一时间检查它是否具有这种模式?
任何建议表示赞赏。
由于
答案 0 :(得分:2)
您的正则表达式实际上应该如下:
(JAN|FEB|MAR|APR|MAY|JUN|JUL|AUG|SEP|OCT|NOV|DEC)\d{2}:\s?
如果找不到匹配项,和preg_replace
将返回原始字符串。
答案 1 :(得分:2)
使用以下方法:
map.addSource("mypoints", {
type: "geojson",
data: "mypoints.geojson",
});
map.addLayer({
"id": "layer-mypoints",
"type": "symbol",
"source": "mypoints",
"layout": {
"icon-image": "marker-15",
"text-field": "{name}",
"text-anchor": "top"
}
});