jenkins-bot has submitted this change and it was merged.
Change subject: registration: Support skipFunction module definitions
......................................................................
registration: Support skipFunction module definitions
Change-Id: I9c5cea3e8df1fae001d4d98c0782a04dec803776
---
M docs/extension.schema.json
1 file changed, 4 insertions(+), 0 deletions(-)
Approvals:
Catrope: Looks good to me, approved
jenkins-bot: Verified
diff --git a/docs/extension.schema.json b/docs/extension.schema.json
index a743afa..370e18e 100644
--- a/docs/extension.schema.json
+++ b/docs/extension.schema.json
@@ -322,6 +322,10 @@
"type":
"string",
"description": "Equivalent of remoteBasePath, but relative to
$wgExtensionAssetsPath"
},
+ "skipFunction":
{
+ "type":
"string",
+
"description": "Modules that provide fallback functionality can provide a
\"skip function\". This function, if provided, will be passed along to the
module registry on the client. When this module is loaded (either directly or
as a dependency of another module), then this function is executed first. If
the function returns true, the module will instantly be considered \"ready\"
without requesting the associated module resources. The value returned here
must be valid javascript for execution in a private function. It must not
contain the \"function () {\" and \"}\" wrapper though."
+ },
"scripts": {
"type":
["string", "array"],
"description": "Scripts to always include (array of file paths)",
--
To view, visit https://gerrit.wikimedia.org/r/284118
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I9c5cea3e8df1fae001d4d98c0782a04dec803776
Gerrit-PatchSet: 2
Gerrit-Project: mediawiki/core
Gerrit-Branch: master
Gerrit-Owner: Jforrester <jforres...@wikimedia.org>
Gerrit-Reviewer: Catrope <roan.katt...@gmail.com>
Gerrit-Reviewer: Waldir <wal...@email.com>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
