Manual:$wgPageShowWatchingUsers

Details
Show the number of users watching with the number of page views.

Example: This page was last modified on 28 August 2010, at 02:17. This page has been accessed 45 times. [2 watching users]