AP_HAL::Scheduler does not appear to have millis() or micros()

General Website and Documentation errors
1

Hello! First and foremost, I am not fully sure if this is the right section to post this so please do correct me if I should move this elsewhere.

I was going through the “Learning the code” documentation when I was attempting to follow along this page: Threading — Dev documentation

Within this document, it states that it is possible to make the following calls to get the micros/millis since the board booted:

hal.scheduler->millis();
hal.scheduler->micros();

I attempted to implement this into the GPS_AUTO_test.cpp library within the void loop() right before the hal.scheduler->delay(10) but was met with the following problem when attempting to compile:

../../libraries/AP_GPS/examples/GPS_AUTO_test/GPS_AUTO_test.cpp:150:20: error: 'class AP_HAL::Scheduler' has no member named 'millis'
  150 |     hal.scheduler->millis();
      |                    ^~~~~~

Upon closer inspection, it does not seem like my IDE can find it either as it says “No member named ‘millis’ in ‘AP_HAL::Scheduler’”.
I tried looking this up online but sadly found no results, is the documentation on this outdated/incorrect or have I perhaps done something wrong?

2

Upon inspection of the UART_test.cpp here, it would appear that the syntax has changed to AP_HAL::millis(); and AP_HAL::micros();, so the documentation does appear to be outdated