MediaWiki REL1_30
DestructibleService.php
Go to the documentation of this file.
1<?php
2namespace MediaWiki\Services;
3
36
43 public function destroy();
44
45}
DestructibleService defines a standard interface for shutting down a service instance.
destroy()
Notifies the service object that it should expect to no longer be used, and should release any system...