diff options
| author | Sam Reed <reedy@users.mediawiki.org> | 2011-10-11 18:30:50 +0000 |
|---|---|---|
| committer | Sam Reed <reedy@users.mediawiki.org> | 2011-10-11 18:30:50 +0000 |
| commit | 90e74042b44e9305ae3e03548b5509a11c0c5c45 (patch) | |
| tree | e36479dc2a7a4a652d374477df855da3e438828e /maintenance/populateParentId.php | |
| parent | 1c79fd803db22e5c4c18fa1c58dd62b4fbbfc067 (diff) | |
| download | mediawikicore-90e74042b44e9305ae3e03548b5509a11c0c5c45.tar.gz mediawikicore-90e74042b44e9305ae3e03548b5509a11c0c5c45.zip | |
Fix comment blocks that start /* to /**
Notes
Notes:
http://mediawiki.org/wiki/Special:Code/MediaWiki/99523
Diffstat (limited to 'maintenance/populateParentId.php')
| -rw-r--r-- | maintenance/populateParentId.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/maintenance/populateParentId.php b/maintenance/populateParentId.php index 67689b9f6d6e..14f158c95db8 100644 --- a/maintenance/populateParentId.php +++ b/maintenance/populateParentId.php @@ -1,5 +1,5 @@ <?php -/* +/** * Makes the required database updates for rev_parent_id * to be of any use. It can be used for some simple tracking * and to find new page edits by users. |