Searched refs:delete_prefix (Results 1 – 2 of 2) sorted by relevance
7427 $def(self, '$delete_prefix', function $$delete_prefix(prefix) {
7436 $def(self, '$delete_prefix', function $$delete_prefix(prefix) {