Editing: mysql.stub