Dummy plugin since cleanup is now moved into core.
Name |
Last commit
|
History
|
Last Update |
---|---|---|
.. | ||
editor_plugin.js | ||
editor_plugin_src.js | ||
readme.txt |
Name |
Last commit
8961ca08
-
2022.01.01 - 20220912 - erste Beruehrungen, zB <?php, CONFIG Formatierungen
|
History
|
Last Update |
---|---|---|
.. | ||
editor_plugin.js | Loading commit data... | |
editor_plugin_src.js | Loading commit data... | |
readme.txt | Loading commit data... |
Dummy plugin since cleanup is now moved into core.