Convertir array a json en php

[Rexar]

Hola comunidad.

Escribo pues tengo cierto problema a la hora de convertir un array a json. Resulta que en php existe la funcion json_encode(), pero realmente no me resuelve el problema que tengo, ya que me hace falta para utilizarlo en Ext-JS el el formato no son iguales. Les pongo un ejemplo para que entiendan mejor:

Aqui tengo el codigo php donde utilizo la funcion json_encode:

<?php
include 'pgsql_conn.php';
$conn = new connection();

$query = "select id_rol, name_rol from roles";
$result = $conn->myquery($query);
$arr = array();

$row = pg_num_rows($result);
if($row > 0){
while($row = pg_fetch_object($result)){
$arr[] = $row;
}
echo '{success:true,row:'.json_encode($arr).'}';
}
?>

Esto el lo que me devuleve la funcion json_encode()

row:[{"id_rol":"1","name_rol":"programador "},{"id_rol":"2","name_rol":"analista "},{"id_rol":"3","name_rol":"disennador "},{"id_rol":"4","name_rol":"jefe_proyecto "},{"id_rol":"5","name_rol":"probador "},{"id_rol":"6","name_rol":"otro_rol "},{"id_rol":"7","name_rol":"pepe "}]

Ahora mi problema radica en que Ext-JS usa comillas simples en ves de comillas dobles.

Como hago para cambiar esto. Ahi radica mi problema.

Saludos a todos.