mario-education 2.4.513-feedback → 2.4.514-feedback

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
package/dist/index.js CHANGED
@@ -75457,7 +75457,7 @@ var useHeaderSideBar = function useHeaderSideBar(_navigations) {
75457
75457
  name: "External Api",
75458
75458
  icon: React__default.createElement(TokenIcon, null)
75459
75459
  }, {
75460
- name: "MarioAi",
75460
+ name: "MarioAI",
75461
75461
  icon: React__default.createElement("img", {
75462
75462
  src: "/images/mario-ai.png"
75463
75463
  })
@@ -76030,7 +76030,7 @@ var HeaderSideBar = function HeaderSideBar(_ref) {
76030
76030
  }, !!navigations && (navigations === null || navigations === void 0 ? void 0 : (_navigations$filter = navigations.filter(function (r) {
76031
76031
  var _r$name;
76032
76032
 
76033
- return !isEnableMarioAi ? !((_r$name = r.name) !== null && _r$name !== void 0 && _r$name.includes('MarioAi')) : true;
76033
+ return !isEnableMarioAi ? !((_r$name = r.name) !== null && _r$name !== void 0 && _r$name.includes('MarioAI')) : true;
76034
76034
  })) === null || _navigations$filter === void 0 ? void 0 : _navigations$filter.map(function (navigation) {
76035
76035
  return renderNavigationItem(navigation);
76036
76036
  })))))), React__default.createElement("main", {