Der er ingen ligetil måde at gøre det på, som Eloquent ville tilbyde, så du skal selv tilføje noget logik.
En mulighed ville være at gemme student_no som en streng i databasen, ellers vil nuller gå tabt, når det hentes som et heltal i PHP, da PHP er ligeglad med din ZEROFILL og behandler 0005 som 5 .
En anden mulighed er at tilføje nuller manuelt i PHP efter at have hentet data fra databasen, f.eks. ved at tilføje en accessor i din model:
public function getStudentNoAttribute() {
return sprintf("%05d", $this->attributes['student_no']);
}
På denne måde, når du får adgang til student_no attributten for din model, vil den automatisk blive konverteret til en nulfyldt streng.