Get rid of bad WordPress code formatting
While editing the previous post I had various problems with the formatting of the command line. Some googling led me to the file /wp-includes/formatting.php where a lot of replacements are done. Edit the function wptexturize to get rid of some […]