Added search bar and empty search script.

TODO: make the search actually work, style the search bar. I think I'll do the latter first, it's easier. :P
Added db-search.js
Moved get_header() to after the declaration of $mode.
Edited db-search.js to split search terms into words, separated by spaces.
Add header to Try-It

Urgent bugfix
Fix regressions caused by commit c7265f2
conflict
Merge branch 'master'

Conflicts:
	database.php
	include/header.php
Merge branch 'ThemeDB'

Conflicts:
	css/style.css
	database.php
please work

I’m tired of conflicts
Styling, fix bad header
MySQL->PDO
make titles in header links
Styling for Try-It
added db-success

added db-success
fixed a notification:before issue
Merge branch 'Overall-Notificaiton'

Conflicts:
	css/style.css
	include/header.php
Whitespace
Preliminary changes
Filter fields to avoid XSS

Yes, it is a real threat, especially since no filtering goes pre-
insertion. We are fine on SQLi though.
strip tags