Searched refs:syntax_plugin_latexwas_common_proxy (Results 1 – 1 of 1) sorted by relevance
165 $plug = new syntax_plugin_latexwas_common_proxy(); 186 class syntax_plugin_latexwas_common_proxy extends syntax_plugin_latexwas_common { class