Searched defs:tokenTimes (Results 1 – 2 of 2) sorted by relevance
| /dports/www/mediawiki137/mediawiki-1.37.1/vendor/wikimedia/parsoid/src/Wt2Html/ | ||
| H A D | TokenTransformManager.php | 35 public $tokenTimes = 0; variable in Wikimedia\\Parsoid\\Wt2Html\\TokenTransformManager |
| /dports/science/jmol/jmol-14.32.7/src/org/jmol/script/ | ||
| H A D | T.java | 1416 public final static T tokenTimes = o(times, "*"); field in T |