php () {
        if [ "$1" = "aritsan" ]; then
            string="$@"
            prefix="aritsan"
            prefix_removed_string=${string/#$prefix}
            command php artisan $prefix_removed_string
        else
            command php "$@"
        fi
}