mirror of
https://github.com/servo/servo.git
synced 2025-07-23 07:13:52 +01:00
Rename delete_ to delete.
This commit is contained in:
parent
d7de6973c7
commit
6920aa970d
2 changed files with 5 additions and 5 deletions
|
@ -77,8 +77,8 @@ pub unsafe extern fn define_property(cx: *mut JSContext, proxy: *mut JSObject,
|
|||
}
|
||||
|
||||
/// Deletes an expando off the given `proxy`.
|
||||
pub unsafe extern fn delete_(cx: *mut JSContext, proxy: *mut JSObject, id: jsid,
|
||||
bp: *mut bool) -> bool {
|
||||
pub unsafe extern fn delete(cx: *mut JSContext, proxy: *mut JSObject, id: jsid,
|
||||
bp: *mut bool) -> bool {
|
||||
let expando = GetExpandoObject(proxy);
|
||||
if expando.is_null() {
|
||||
*bp = true;
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue