Home
last modified time | relevance | path

Searched refs:loadFunc (Results 1 – 4 of 4) sorted by relevance

/plugin/fastwiki/
Dhistory.js45 this.init = function(loadFunc) { argument
47 m_loadPageFunc = loadFunc;
/plugin/mizarveifiabledocs/dist/
Dscript.js.map1 …loadFunc, /**\n If the language has been loaded, this will hold its value.\n */ support){\n …
/plugin/mizarproofchecker/dist/
Dscript.js.map1 …loadFunc, /**\n If the language has been loaded, this will hold its value.\n */ support){\n …
/plugin/mizarverifiabledocs/dist/
H A Dscript.js.map1 …loadFunc, /**\n If the language has been loaded, this will hold its value.\n */ support){\n …