Generates a unique placeholder used in the db query.
public function placeholder($base = 'views') { static $placeholders = []; if (!isset($placeholders[$base])) { $placeholders[$base] = 0; return ':' . $base; } else { return ':' . $base . ++$placeholders[$base]; } }