PingMetal 222ee6bde2 Fixed a pagination bug ... Depending on the current page, a page not supposed to show up in the pagination summary can be skipped without returning a null value. It makes it difficult to know it is existent, but just skipped.		2016-12-19 14:54:06 +00:00
..
manifest	Merge branch '3.3' into 3.4	2016-07-07 10:28:17 +01:00
startup	Merge 3.3 into 3	2016-05-18 17:29:30 +12:00
ArrayLib.php	Do not hang on nested parameters in search context	2015-09-23 09:12:02 +02:00
ClassInfo.php	BUG Fix regression in aggregate column lookup from #6199	2016-11-10 11:13:02 +13:00
Config.php	BUG Fix unset config options returning isset() = true	2016-08-02 18:07:55 +12:00
Constants.php	Merge branch '3.3' into 3	2016-02-27 21:20:15 +13:00
Convert.php	MINORE: Remove training whitespace.	2016-01-07 10:15:54 +13:00
Core.php	FIX: allow for increase_time_limit_to to work if $_increase_time_limit_max is not yet set	2015-06-22 08:17:04 +12:00
DAG.php	Remove all redundant whitespace	2014-08-19 09:17:15 +12:00
Diff.php	Remove all redundant whitespace	2014-08-19 09:17:15 +12:00
Extension.php	Remove all redundant whitespace	2014-08-19 09:17:15 +12:00
Flushable.php	NEW Provide a consistent way of triggering flush	2014-08-22 09:24:27 +12:00
HTMLCleaner.php	Remove all redundant whitespace	2014-08-19 09:17:15 +12:00
Object.php	Make __call() clearer that a method may be non-public	2016-10-06 14:01:38 +13:00
PaginatedList.php	Fixed a pagination bug	2016-12-19 14:54:06 +00:00
TempPath.php	MINORE: Remove training whitespace.	2016-01-07 10:15:54 +13:00