# added codepot_htmlspecialchars by copying htmlspecialchars from phpjs.org.

# renamed some instances of the words 'details' to 'metadata'
# renamed the database column 'code_hide_details' to 'code_hide_metadata'.
# almost finished the new project_catalog page.

codepot/etc/codepot.mysql

@@ -192,7 +192,7 @@ CREATE TABLE log  (
 CREATE TABLE user_settings (
 	userid              VARCHAR(32) PRIMARY KEY,
 	code_hide_line_num  CHAR(1) NOT NULL,
-	code_hide_details   CHAR(1) NOT NULL,
+	code_hide_metadata  CHAR(1) NOT NULL,
 	icon_name           VARCHAR(255) UNIQUE NULL
 ) charset=utf8 engine=InnoDB;