Home
last modified time | relevance | path

Searched refs:footnotes_ordered (Results 1 – 2 of 2) sorted by relevance

/plugin/markdownextra/
H A Dmarkdown.php1762 var $footnotes_ordered = array(); variable in MarkdownExtra_Parser
1779 $this->footnotes_ordered = array();
1799 $this->footnotes_ordered = array();
3099 if (!empty($this->footnotes_ordered)) {
3118 while (!empty($this->footnotes_ordered)) {
3119 $footnote = reset($this->footnotes_ordered);
3120 $note_id = key($this->footnotes_ordered);
3121 unset($this->footnotes_ordered[$note_id]);
3166 $this->footnotes_ordered[$node_id] = $this->footnotes[$node_id];
/plugin/markdownextra/lib/meltdown/js/lib/
H A Djs-markdown-extra.js1714 this.footnotes_ordered = [];
1784 this.footnotes_ordered = [];
1804 this.footnotes_ordered = [];
2763 self.footnotes_ordered.push([node_id, self.footnotes[node_id]]);
2792 if (this.footnotes_ordered.length > 0) {
2811 while (this.footnotes_ordered.length > 0) {
2812 var head = this.footnotes_ordered.shift();