Rename directory to better suit the moving time.

Kind of also fix the apache conf, but not quite.
This commit is contained in:
2016-08-20 22:39:56 +02:00
parent 95bc653f50
commit ffcf9fefd5
438 changed files with 2 additions and 2 deletions

View File

@@ -0,0 +1,9 @@
<?php
/* This file keeps an index of the titles of current themes
and gives them to the JavaScript environment when requested */
$title = urldecode($_GET['title']);
$type = urldecode($_GET['type']);
$u['Default'] = 'default.css';
$u['Developer'] = 'dev.css';
?>