Search results
Jump to navigation
Jump to search
- // change time spent from minutes to hours, rounded to two decimal places $res[$i]['time_spent'] = round ($res[$i]['time_spent']/60,22 KB (2,839 words) - 22:57, 13 June 2007
- official download should be considered stable, tested, and maintained. Over time, some extensions become part of MediaWiki core; and rarely core features22 KB (391 words) - 12:19, 20 June 2018