| Index: trunk/extensions/FlaggedRevs/FRUserCounters.php |
| — | — | @@ -100,7 +100,7 @@ |
| 101 | 101 | $p['totalContentEdits'] += 1; |
| 102 | 102 | $changed = true; |
| 103 | 103 | } |
| 104 | | - if ( $summary != '' ) { |
| | 104 | + if ( !preg_match( '/^\/\*.*\*\/$/', $summary ) ) { |
| 105 | 105 | $p['editComments'] += 1; |
| 106 | 106 | $changed = true; |
| 107 | 107 | } |
| Index: trunk/extensions/FlaggedRevs/maintenance/updateAutoPromote.inc |
| — | — | @@ -28,7 +28,7 @@ |
| 29 | 29 | # Get edit comments used |
| 30 | 30 | $sres = $db->select( 'revision', '1', |
| 31 | 31 | array( 'rev_user' => $user->getID(), |
| 32 | | - 'rev_comment != ""' ), |
| | 32 | + "rev_comment NOT LIKE '/*%*/'" ), // manual comments only |
| 33 | 33 | __METHOD__, |
| 34 | 34 | array( 'LIMIT' => max($wgFlaggedRevsAutopromote['editComments'],500) ) |
| 35 | 35 | ); |