| /plugin/codemirror/dist/modes/ |
| H A D | nginx.min.js.map | 1 …ch)) {\n stream.eatWhile(/[\\w.%]/);\n return ret(\"number\", \"unit\");\n }\n els…
|
| H A D | erlang.min.js.map | 1 …unit","indentUnit","wordAfter","wordafter","currT","prevT","Pass","getToken","postcommaToken","def…
|
| H A D | sass.min.js.map | 1 …unit\";\n\n if (stream.match(keywordsRegexp))\n return \"keyword\";\n\n if (strea…
|
| H A D | css.min.js.map | 1 …unit\");\n } else if (ch === \"-\") {\n if (/[\\d.]/.test(stream.peek())) {\n strea…
|
| H A D | pascal.min.js.map | 1 …ecord reintroduce repeat self set shl shr string then to type \" +\n \"unit until uses var whil…
|
| H A D | scheme.min.js.map | 1 … public rename require require-for-syntax syntax syntax-case syntax-error unit/sig unless when wit…
|
| H A D | mllike.min.js | 1 …ltin","int":"type","float":"type",bool:"type","char":"type",string:"type",unit:"type",List:"builti…
|
| H A D | oz.min.js.map | 1 …= [\"end\"];\n\n var atoms = wordRegexp([\"true\", \"false\", \"nil\", \"unit\"]);\n var commonK…
|
| H A D | stylus.min.js.map | 1 …unit\"];\n }\n // !important|optional\n if (ch == \"!\") {\n stream.next();\…
|
| /plugin/codemirror/dist/ |
| H A D | styles.min.css.map | 1 …panda-syntax .cm-property {\n\tcolor: #f3f3f3;\n}\n.cm-s-panda-syntax .cm-unit {\n color: #ffb8…
|
| H A D | styles.min.css | 1 …yntax .cm-property{color:#f3f3f3}form#dw__editform .cm-s-panda-syntax .cm-unit{color:#ffb86c}form#…
|
| /plugin/latexport/ |
| H A D | README.md | 31 This should have created a dokuwiki folder with all sources, including a ``_test`` folder with unit…
|
| /plugin/flowcharts/ |
| H A D | mermaid.min.js | 24 …push({unit:n,priority:R[n]});return e.sort((function(t,e){return t.priority-e.priority})),e}(t=P(t…
|
| /plugin/pdfjs/pdfjs/web/locale/ff/ |
| H A D | viewer.properties | 116 # "{{width}}", "{{height}}", {{unit}}, and {{orientation}} will be replaced by
117 # the size, respectively their unit of measurement and orientation, of the (current) page.
118 document_properties_page_size_dimension_string={{width}} × {{height}} {{unit}} ({{orientation}})
120 # "{{width}}", "{{height}}", {{unit}}, {{name}}, and {{orientation}} will be replaced by
121 # the size, respectively their unit of measurement, name, and orientation, of the (current) page.
122 document_properties_page_size_dimension_name_string={{width}} × {{height}} {{unit}} ({{name}}, {{or…
|
| /plugin/pdfjs/pdfjs/web/locale/gd/ |
| H A D | viewer.properties | 116 # "{{width}}", "{{height}}", {{unit}}, and {{orientation}} will be replaced by
117 # the size, respectively their unit of measurement and orientation, of the (current) page.
118 document_properties_page_size_dimension_string={{width}} × {{height}} {{unit}} ({{orientation}})
120 # "{{width}}", "{{height}}", {{unit}}, {{name}}, and {{orientation}} will be replaced by
121 # the size, respectively their unit of measurement, name, and orientation, of the (current) page.
122 document_properties_page_size_dimension_name_string={{width}} × {{height}} {{unit}} ({{name}}, {{or…
|
| /plugin/pdfjs/pdfjs/web/locale/gn/ |
| H A D | viewer.properties | 116 # "{{width}}", "{{height}}", {{unit}}, and {{orientation}} will be replaced by
117 # the size, respectively their unit of measurement and orientation, of the (current) page.
118 document_properties_page_size_dimension_string={{width}} × {{height}} {{unit}} ({{orientation}})
120 # "{{width}}", "{{height}}", {{unit}}, {{name}}, and {{orientation}} will be replaced by
121 # the size, respectively their unit of measurement, name, and orientation, of the (current) page.
122 document_properties_page_size_dimension_name_string={{width}} × {{height}} {{unit}} ({{name}}, {{or…
|
| /plugin/pdfjs/pdfjs/web/locale/is/ |
| H A D | viewer.properties | 114 # "{{width}}", "{{height}}", {{unit}}, and {{orientation}} will be replaced by
115 # the size, respectively their unit of measurement and orientation, of the (current) page.
116 document_properties_page_size_dimension_string={{width}} × {{height}} {{unit}} ({{orientation}})
118 # "{{width}}", "{{height}}", {{unit}}, {{name}}, and {{orientation}} will be replaced by
119 # the size, respectively their unit of measurement, name, and orientation, of the (current) page.
120 document_properties_page_size_dimension_name_string={{width}} × {{height}} {{unit}} ({{name}}, {{or…
|
| /plugin/pdfjs/pdfjs/web/locale/ka/ |
| H A D | viewer.properties | 116 # "{{width}}", "{{height}}", {{unit}}, and {{orientation}} will be replaced by
117 # the size, respectively their unit of measurement and orientation, of the (current) page.
118 document_properties_page_size_dimension_string={{width}} × {{height}} {{unit}} ({{orientation}})
120 # "{{width}}", "{{height}}", {{unit}}, {{name}}, and {{orientation}} will be replaced by
121 # the size, respectively their unit of measurement, name, and orientation, of the (current) page.
122 document_properties_page_size_dimension_name_string={{width}} × {{height}} {{unit}} ({{name}}, {{or…
|
| /plugin/pdfjs/pdfjs/web/locale/kk/ |
| H A D | viewer.properties | 116 # "{{width}}", "{{height}}", {{unit}}, and {{orientation}} will be replaced by
117 # the size, respectively their unit of measurement and orientation, of the (current) page.
118 document_properties_page_size_dimension_string={{width}} × {{height}} {{unit}} ({{orientation}})
120 # "{{width}}", "{{height}}", {{unit}}, {{name}}, and {{orientation}} will be replaced by
121 # the size, respectively their unit of measurement, name, and orientation, of the (current) page.
122 document_properties_page_size_dimension_name_string={{width}} × {{height}} {{unit}} ({{name}}, {{or…
|
| /plugin/pdfjs/pdfjs/web/locale/lv/ |
| H A D | viewer.properties | 116 # "{{width}}", "{{height}}", {{unit}}, and {{orientation}} will be replaced by
117 # the size, respectively their unit of measurement and orientation, of the (current) page.
118 document_properties_page_size_dimension_string={{width}} × {{height}} {{unit}} ({{orientation}})
120 # "{{width}}", "{{height}}", {{unit}}, {{name}}, and {{orientation}} will be replaced by
121 # the size, respectively their unit of measurement, name, and orientation, of the (current) page.
122 document_properties_page_size_dimension_name_string={{width}} × {{height}} {{unit}} ({{name}}, {{or…
|
| /plugin/pdfjs/pdfjs/web/locale/mk/ |
| H A D | viewer.properties | 62 # "{{width}}", "{{height}}", {{unit}}, and {{orientation}} will be replaced by
63 # the size, respectively their unit of measurement and orientation, of the (current) page.
65 # "{{width}}", "{{height}}", {{unit}}, {{name}}, and {{orientation}} will be replaced by
66 # the size, respectively their unit of measurement, name, and orientation, of the (current) page.
|
| /plugin/pdfjs/pdfjs/web/locale/ms/ |
| H A D | viewer.properties | 116 # "{{width}}", "{{height}}", {{unit}}, and {{orientation}} will be replaced by
117 # the size, respectively their unit of measurement and orientation, of the (current) page.
118 document_properties_page_size_dimension_string={{width}} × {{height}} {{unit}} ({{orientation}})
120 # "{{width}}", "{{height}}", {{unit}}, {{name}}, and {{orientation}} will be replaced by
121 # the size, respectively their unit of measurement, name, and orientation, of the (current) page.
122 document_properties_page_size_dimension_name_string={{width}} × {{height}} {{unit}} ({{name}}, {{or…
|
| /plugin/pdfjs/pdfjs/web/locale/nb-NO/ |
| H A D | viewer.properties | 116 # "{{width}}", "{{height}}", {{unit}}, and {{orientation}} will be replaced by
117 # the size, respectively their unit of measurement and orientation, of the (current) page.
118 document_properties_page_size_dimension_string={{width}} × {{height}} {{unit}} ({{orientation}})
120 # "{{width}}", "{{height}}", {{unit}}, {{name}}, and {{orientation}} will be replaced by
121 # the size, respectively their unit of measurement, name, and orientation, of the (current) page.
122 document_properties_page_size_dimension_name_string={{width}} × {{height}} {{unit}} ({{name}}, {{or…
|
| /plugin/pdfjs/pdfjs/web/locale/si/ |
| H A D | viewer.properties | 97 # "{{width}}", "{{height}}", {{unit}}, and {{orientation}} will be replaced by
98 # the size, respectively their unit of measurement and orientation, of the (current) page.
99 document_properties_page_size_dimension_string={{width}} × {{height}} {{unit}} ({{orientation}})
101 # "{{width}}", "{{height}}", {{unit}}, {{name}}, and {{orientation}} will be replaced by
102 # the size, respectively their unit of measurement, name, and orientation, of the (current) page.
103 document_properties_page_size_dimension_name_string={{width}}×{{height}}{{unit}}{{name}}{{orientati…
|
| /plugin/pdfjs/pdfjs/web/locale/sk/ |
| H A D | viewer.properties | 116 # "{{width}}", "{{height}}", {{unit}}, and {{orientation}} will be replaced by
117 # the size, respectively their unit of measurement and orientation, of the (current) page.
118 document_properties_page_size_dimension_string={{width}} × {{height}} {{unit}} ({{orientation}})
120 # "{{width}}", "{{height}}", {{unit}}, {{name}}, and {{orientation}} will be replaced by
121 # the size, respectively their unit of measurement, name, and orientation, of the (current) page.
122 document_properties_page_size_dimension_name_string={{width}} × {{height}} {{unit}} ({{name}}, {{or…
|