docs: function getSyntax(editor) {
  	const scope = editor.getRootScopeDescriptor().scopes[0];
  	let m;
  
  	// check for HTML-like document
  	if (m = scope.match(/text\.(html|xml)\b/)) {
  		return m[1];
  	}
  
  	// check for stylesheet document
  	if (m = scope.match(/source\.css(?:\.(\w+))?\b/)) {
  		return m[1] || 'css';
  	}
  
  	return null;
  }