This space is for User-contributed commentary and notes. Please include your name and a date along with your comment.
Please, show where the local/config.php file is. I have Ubuntu 18.04 with PHP-7.2 and can't locate this file and so I can't change the skin.