bugfix (other QuickDocs for php)