docs: function warnAboutDeprecatedProp(propValue, oldPropName, newPropName) {
    if (propValue !== undefined) {
      console.warn(`[DEPRECATED] the property "${oldPropName}" has been deprecated, use "${newPropName}" instead`);
    }
  }