Devi appoggiarti ad uno script su base javascript (sfruttando jquery, magari) che rilevi la presenza dell'utente. Esempio banale, puoi usare questa funzione:

https://api.jquery.com/mousemove/

Per rilevare i movimenti del mouse. Puoi usarne un'altra per rilevare lo scroll della pagina. L'interazione con determinate componenti o, più semplicemente, puoi fare un detect dei campi di testo. Se scrivono sono presenti, se non scrivono per un tempo superiore ai 10min, non lo sono. Sta a te valutare quanto dev'essere preciso il rilevatore di presenza.

Registri per ogni evento data\ora, passi a php, memorizzi su database e ricorsivamente interroghi per valutare il tempo passato. Superati i 10minuti fai apparire un box di avviso che la pagina, potrà essere modificata da un'altro utente e da quel momento si perde la possibilità di modifica (fintanto che l'altro utente è presente).