Searched refs:LABEL_PATTERN (Results 1 – 2 of 2) sorted by relevance
| /plugin/label/ | ||
| H A D | syntax.php | 21 var $LABEL_PATTERN = "[a-zA-Z0-9_]+"; variable in syntax_plugin_label |
| /plugin/reproduce/ | ||
| H A D | syntax.php | 36 var $LABEL_PATTERN = "[a-zA-Z0-9_]+"; variable in syntax_plugin_reproduce |