HomePhabricator

Fix dragging of jQuery dialog boxes

Description

Fix dragging of jQuery dialog boxes

Details

Provenance
andyboehAuthored on
andreasPushed on Jul 1 2016, 11:51 AM
Parents
rDAVCALcd568f3df797: Fix PHP7 warnings in syntax plugins (again)
Branches
Unknown
Tags
Unknown