2022-03-03 11:28:03 -05:00
|
|
|
meta(name="ol-project_id" content=project_id)
|
2022-03-31 07:22:36 -04:00
|
|
|
meta(name="ol-projectName" content=projectName)
|
2022-03-03 11:28:03 -05:00
|
|
|
meta(name="ol-userSettings" data-type="json" content=userSettings)
|
|
|
|
meta(name="ol-user" data-type="json" content=user)
|
|
|
|
meta(name="ol-learnedWords" data-type="json" content=learnedWords)
|
|
|
|
meta(name="ol-anonymous" data-type="boolean" content=anonymous)
|
|
|
|
meta(name="ol-brandVariation" data-type="json" content=brandVariation)
|
|
|
|
meta(name="ol-isTokenMember" data-type="boolean" content=isTokenMember)
|
|
|
|
meta(name="ol-isRestrictedTokenMember" data-type="boolean" content=isRestrictedTokenMember)
|
|
|
|
meta(name="ol-maxDocLength" data-type="json" content=maxDocLength)
|
2023-06-27 07:38:30 -04:00
|
|
|
meta(name="ol-wikiEnabled" data-type="boolean" content=settings.proxyLearn)
|
2022-03-03 11:28:03 -05:00
|
|
|
meta(name="ol-gitBridgePublicBaseUrl" content=gitBridgePublicBaseUrl)
|
2023-11-07 06:54:03 -05:00
|
|
|
meta(name="ol-gitBridgeEnabled" data-type="boolean" content=gitBridgeEnabled)
|
2023-01-17 10:23:51 -05:00
|
|
|
meta(name="ol-compilesUserContentDomain" content=settings.compilesUserContentDomain)
|
2022-03-03 11:28:03 -05:00
|
|
|
//- enable doc hash checking for all projects
|
|
|
|
//- used in public/js/libs/sharejs.js
|
|
|
|
meta(name="ol-useShareJsHash" data-type="boolean" content=true)
|
|
|
|
meta(name="ol-wsRetryHandshake" data-type="json" content=settings.wsRetryHandshake)
|
2022-03-18 06:27:29 -04:00
|
|
|
meta(name="ol-pdfjsVariant" content=pdfjsVariant)
|
2022-03-03 11:28:03 -05:00
|
|
|
meta(name="ol-debugPdfDetach" data-type="boolean" content=debugPdfDetach)
|
2022-03-11 05:02:03 -05:00
|
|
|
meta(name="ol-showSymbolPalette" data-type="boolean" content=showSymbolPalette)
|
2023-07-07 02:34:44 -04:00
|
|
|
meta(name="ol-symbolPaletteAvailable" data-type="boolean" content=symbolPaletteAvailable)
|
2022-03-03 11:28:03 -05:00
|
|
|
meta(name="ol-detachRole" data-type="string" content=detachRole)
|
2022-11-14 11:48:06 -05:00
|
|
|
meta(name="ol-allowedImageNames" data-type="json" content=allowedImageNames)
|
|
|
|
meta(name="ol-languages" data-type="json" content=languages)
|
|
|
|
meta(name="ol-editorThemes" data-type="json" content=editorThemes)
|
|
|
|
meta(name="ol-legacyEditorThemes" data-type="json" content=legacyEditorThemes)
|
2022-07-26 10:29:54 -04:00
|
|
|
meta(name="ol-showUpgradePrompt" data-type="boolean" content=showUpgradePrompt)
|
2022-10-31 10:37:49 -04:00
|
|
|
meta(name="ol-useOpenTelemetry" data-type="boolean" content=useOpenTelemetry)
|
2022-10-24 16:33:13 -04:00
|
|
|
meta(name="ol-showSupport", data-type="boolean" content=showSupport)
|
2023-03-20 09:58:46 -04:00
|
|
|
meta(name="ol-showTemplatesServerPro", data-type="boolean" content=showTemplatesServerPro)
|
2023-05-08 03:58:00 -04:00
|
|
|
meta(name="ol-showPersonalAccessToken", data-type="boolean" content=showPersonalAccessToken)
|
2023-10-19 04:26:45 -04:00
|
|
|
meta(name="ol-optionalPersonalAccessToken", data-type="boolean" content=optionalPersonalAccessToken)
|
2023-07-12 09:52:29 -04:00
|
|
|
meta(name="ol-hasTrackChangesFeature", data-type="boolean" content=hasTrackChangesFeature)
|
2023-08-15 05:53:00 -04:00
|
|
|
meta(name="ol-mathJax3Path" content=mathJax3Path)
|
2023-12-05 07:59:55 -05:00
|
|
|
meta(name="ol-inactiveTutorials", data-type="json" content=user.inactiveTutorials)
|
2023-09-28 06:12:18 -04:00
|
|
|
meta(name="ol-projectTags" data-type="json" content=projectTags)
|
2023-10-02 05:35:02 -04:00
|
|
|
meta(name="ol-idePageReact", data-type="boolean" content=idePageReact)
|
2023-10-16 07:10:43 -04:00
|
|
|
meta(name="ol-loadingText", data-type="string" content=translate("loading"))
|
|
|
|
meta(name="ol-translationLoadErrorMessage", data-type="string" content=translate("could_not_load_translations"))
|
2022-03-03 11:28:03 -05:00
|
|
|
|
|
|
|
- var fileActionI18n = ['edited', 'renamed', 'created', 'deleted'].reduce((acc, i) => {acc[i] = translate('file_action_' + i); return acc}, {})
|
|
|
|
meta(name="ol-fileActionI18n" data-type="json" content=fileActionI18n)
|
|
|
|
|
|
|
|
if (settings.overleaf != null)
|
|
|
|
meta(name="ol-overallThemes" data-type="json" content=overallThemes)
|
2023-11-29 07:34:40 -05:00
|
|
|
|
|
|
|
!= moduleIncludes("editor:meta", locals)
|