I have a problem with wordpress, as it automatically transforms double "--" into a long dash. I found a quick fix for this as suggested in this short article:
The only problem is, from my dashboard on wordpress online in my webbrowser, I couldn't figure out where/how to find the file wordpress/wp-includes/formatting.php which needs to be edited to solve the problem.
I also checked this other answers about wordpress, e.g.
- how to modify date format in wordpress list comments
- How to customize Date Format in Wordpress
- Wordpress disable code editor formatting for a page
But they don't mention anything about how/where to find the file wordpress/wp-includes/formatting.php .
Any comments or suggestion are highly appreciated.