PageUpdateException.php

Go to the documentation of this file.

<?php
namespace MediaWiki\Storage;
 
use RuntimeException;
 
class PageUpdateException extends RuntimeException {
 
}