With PHP 5.5 the mysql extension has been deprecated
This patch migrates mysql to mysqli
Merge branch 'php55mysqli' of https://github.com/andig/videodb into php55mysqli

Conflicts:
	core/functions.core.php