2022-03-03 16:28:03 +00:00
|
|
|
meta(name="ol-project_id" content=project_id)
|
2022-03-31 11:22:36 +00:00
|
|
|
meta(name="ol-projectName" content=projectName)
|
2022-03-03 16:28:03 +00: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 11:38:30 +00:00
|
|
|
meta(name="ol-wikiEnabled" data-type="boolean" content=settings.proxyLearn)
|
2022-03-03 16:28:03 +00:00
|
|
|
meta(name="ol-gitBridgePublicBaseUrl" content=gitBridgePublicBaseUrl)
|
2023-11-07 11:54:03 +00:00
|
|
|
meta(name="ol-gitBridgeEnabled" data-type="boolean" content=gitBridgeEnabled)
|
2023-01-17 15:23:51 +00:00
|
|
|
meta(name="ol-compilesUserContentDomain" content=settings.compilesUserContentDomain)
|
2022-03-03 16:28:03 +00:00
|
|
|
//- enable doc hash checking for all projects
|
|
|
|
//- used in public/js/libs/sharejs.js
|
|
|
|
meta(name="ol-useShareJsHash" data-type="boolean" content=true)
|
2024-02-01 11:37:16 +00:00
|
|
|
meta(name="ol-wsUrl" data-type="string" content=wsUrl)
|
2022-03-03 16:28:03 +00:00
|
|
|
meta(name="ol-wsRetryHandshake" data-type="json" content=settings.wsRetryHandshake)
|
2022-03-18 10:27:29 +00:00
|
|
|
meta(name="ol-pdfjsVariant" content=pdfjsVariant)
|
2022-03-03 16:28:03 +00:00
|
|
|
meta(name="ol-debugPdfDetach" data-type="boolean" content=debugPdfDetach)
|
2022-03-11 10:02:03 +00:00
|
|
|
meta(name="ol-showSymbolPalette" data-type="boolean" content=showSymbolPalette)
|
2023-07-07 06:34:44 +00:00
|
|
|
meta(name="ol-symbolPaletteAvailable" data-type="boolean" content=symbolPaletteAvailable)
|
2022-03-03 16:28:03 +00:00
|
|
|
meta(name="ol-detachRole" data-type="string" content=detachRole)
|
2022-11-14 16:48:06 +00: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 14:29:54 +00:00
|
|
|
meta(name="ol-showUpgradePrompt" data-type="boolean" content=showUpgradePrompt)
|
2022-10-31 14:37:49 +00:00
|
|
|
meta(name="ol-useOpenTelemetry" data-type="boolean" content=useOpenTelemetry)
|
2022-10-24 20:33:13 +00:00
|
|
|
meta(name="ol-showSupport", data-type="boolean" content=showSupport)
|
2023-03-20 13:58:46 +00:00
|
|
|
meta(name="ol-showTemplatesServerPro", data-type="boolean" content=showTemplatesServerPro)
|
2023-05-08 07:58:00 +00:00
|
|
|
meta(name="ol-showPersonalAccessToken", data-type="boolean" content=showPersonalAccessToken)
|
2023-10-19 08:26:45 +00:00
|
|
|
meta(name="ol-optionalPersonalAccessToken", data-type="boolean" content=optionalPersonalAccessToken)
|
2023-07-12 13:52:29 +00:00
|
|
|
meta(name="ol-hasTrackChangesFeature", data-type="boolean" content=hasTrackChangesFeature)
|
2023-12-05 12:59:55 +00:00
|
|
|
meta(name="ol-inactiveTutorials", data-type="json" content=user.inactiveTutorials)
|
2023-09-28 10:12:18 +00:00
|
|
|
meta(name="ol-projectTags" data-type="json" content=projectTags)
|
2023-10-02 09:35:02 +00:00
|
|
|
meta(name="ol-idePageReact", data-type="boolean" content=idePageReact)
|
2023-10-16 11:10:43 +00: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 16:28:03 +00: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 12:34:40 +00:00
|
|
|
|
|
|
|
!= moduleIncludes("editor:meta", locals)
|