| Index: trunk/extensions/ProfileMonitor/ProfileMonitor.php |
| — | — | @@ -17,7 +17,7 @@ |
| 18 | 18 | $wgExtensionCredits['specialpage'][] = array( |
| 19 | 19 | 'name' => 'ProfileMonitor', |
| 20 | 20 | 'author' => 'Rob Church', |
| 21 | | - 'description' => 'Special page to expose profiling data', |
| | 21 | + 'description' => 'Special page to search and inspect profiling data', |
| 22 | 22 | ); |
| 23 | 23 | |
| 24 | 24 | function efProfileMonitor() { |