Getting started - Record identifiers - Autoincremented.php

<?php
class User extends Doctrine_Record {
    public function setTableDefinition() {
        $this->hasColumn("uid","integer",20,"primary|autoincrement");
    }
}
?>