Bug 182010

<?php
//try to rename $_GET to $_POST via CTRL+R shortcut and code completion for $_POST

//1. put cursor on $_GET
//2. CTRL+R
//3. Type _p
//4. code completion pops up
//5. accept suggestion $_POST
//6. final result: all other $_GET variables became $$_POST instead of $_POST

//initial code
if($_GET && isset($_GET['id'])){
    print 'get';
}


//final result
if($_POST && isset($$_POST['id'])){
    print 'get';
}

?>