Copying site to another site

I’m trying to copy my operations site (OPS)to my development site (DEV). I’ve done this before, but it’s been a while, and I’ve run into a problem I can’t figure out. (The DEV site url is the OPS site url plus “/050_dev”)

I did these steps successfully:

> MySQL Backup of OPS database
> MySQL Restore of that backup to DEV database
> Delete all DEV site folders
> Copy all OPS site files to DEV site folders
> Restore proper wp-config.php and .htaccess for DEV to point to correct DEV db
> Modify site URL in (now) DEV DB to point to DEV site

when I log into DEV, I can see the dashboard, and pages for maintenance, etc. However, when I attempt to view any pages, I get this error:
—————–
Fatal error: Call to undefined function is_rtl() in /home/action30/public_html/(OPS site url here).com/wp-includes/general-template.php on line 2102
—————–

In particular I notice that the error has the OPS site url in it, not the DEV site URL.

I’m thinking there may be some other place that I have to tell the DEV site that the site URL has changed, but I’m just guessing.

I’ve got the “maintenance-mode” plugin running, which works fine on the OPS site, and it doesn’t change the above error on the DEV site if I activate it or deactivate it.

As a side note, I’m concerned about permalinks in the DEV site…when I look at the permalinks control panel, they all have the OPS site url.

Any suggestions on how to get the DEV site running around the above error would be appreciated.

Thanks!